‏منطق ban‏ ‎‏که‎ یک منطق شناختی برای تحلیل پروتکل های امنیت است‏، شامل یک قانون استنتاج ناموجه است. این قانون با h نمایش داده می شود. منطق ban‏ یک خاصیت سوال برانگیز را به عنوان نتیجه ای از این قانون‏، به نمایش می گذارد. این خاصیت به عدم صحت شبیه است اما به طور صریح هم ارز آن نیست. ما این خاصیت را با "عدم صحت" نشان می دهیم و آن را با استفاده از پروتکل دوطوطی اثبات می کنیم. خاصیت "عدم صحت" با اس...

امروزه شبکه های رایانه ای به عنوان ابزار سریع انتقال اطلاعات به شکل گسترده ای توسط افراد و سازمان های مختلف مورد استفاده قرار می گیرد. برای تأمین امنیت کاربران و سازمان ها، روش های امنیتی مختلفی بکار گرفته می شود که هر کدام سطحی از امنیت را فراهم می آورند. از جمله این روش ها می توان به استفاده از پروتکل های تونلینگ و شبکه های خصوصی مجازی اشاره کرد. اگر چه این روش ها می توانند برای ارتقاء امنیت ...

در سال‌های اخیر، استفاده از داروهای زیستی نسبت به داروهای شیمیایی بیشتر مورد توجه قرار گرفته‌اند اما این داروها، هزینه‌ی بالایی برای بیماران خواهند داشت. از طرفی بسیاری از آن‌ها در حال نزدیک شدن به زمان انقضای پتنت خود هستند. این امر فرصت سرمایه­ گذاری در بازار بیوسیمیلارها را فراهم کرده است که می‌توانند با هزینه‌ی کمتری جایگزینی برای داروهای زیستی مرجع باشند. البته تولید و ورود به بازار بیوسیم...

توسعه پایدار نتیجه ایجاد تعادل بین سه اصل محیط زیست، اجتماع و اقتصاد است، به طوری که عدم توجه به هر کدام از این اصول موجب برهم خوردن تعادل و فاصله گرفتن از توسعه پایدار می­شود. معدنکاری و صنایع وابسته به آن، نقش ارزشمند و مثبتی در توسعه اقتصادی و فرآیند صنعتی شدن هر کشوری دارد. هدف اصلی پایداری معادن؛ افزایش سود، کاهش ریسک عملیاتی و دستیابی به محیط زیستی ایده­آل است. ارزیابی آثار محیط ز...

پروتکل‌های درمانی برای سرطان غالباً دارای دو عیب بزرگ بازگشت سرطان پس از قطع درمان و نیاز به معلوم بودن پارامترهای سیستم برای طراحی کنترل‌کننده می‌باشند. به‌دلیل وجود اثرات مخرب شیمی درمانی و تعدیل شدن اثر آن به‌واسطه ایجاد مقاومت دارویی، این مقاله به دنبال ارائه پروتکل بهینه درمانی برای درمان سرطان در زمان محدود می‌باشد، به‌طوریکه نیاز به دانستن دقیق پارامترهای آن بیمار نباشد. در این مقاله مدلی...

سابقه و هدف: در فوتبال حرفه‌ای گاهی در یک هفته سه مسابقه فوتبال برگزار می‌شود. از آنجا که فوتبال یک فعالیت ورزشی نسبتاً شدید می‌باشد ممکن است پاسخ‌های التهابی سیستم ایمنی را به دنبال داشته باشد لذا مصرف مکمل‌های تغذیه‌ای ممکن است به بازیافت سریع‌تر کمک کند. بر این اساس هدف از این تحقیق بررسی تأثیر دو هفته مصرف مکمل تورین و اجرای سه جلسه فعالیت تناوبی شدید 90 دقیقه‌ای بر پاسخ برخی سایتوکاین‌های ا...

انجمن پژوهشی علوم زیستی و بیوتکنولوژی (BBSRC) در انگلستان، سرمایه‌گذار عمده پژوهش‌های پایه و راهبردی زیستی در آن کشور می‌باشد. وظیفه اصلی این انجمن پژوهشی، حمایت از پژوهشگران و محققین کشور، برقراری ارتباط میان صنعت و دانشگاه، حمایت از پژوهش‌های کاربردی در تجارت و ایجاد اشتغال عمومی در زمینه علوم زیستی می‌باشد. در کشور انگستان هشت انجمن علمی پژوهشی حمایت‌کننده پژوهش در شاخه‌های مختلف علوم وجود د...

زمینه و هدف : معمولاً اولین اثر استرس بر سیستم ایمنی، همراه با افزایش سریع فعالیت سیستم ایمنی است که با افزایش تعداد سیتوکین های التهابی در خون تظاهر می کند؛ ولی متعاقباً کاهش عملکرد سیستم ایمنی را به دنبال دارد. در شرایط التهاب میزان بیان ژن هپسیدین افزایش می یابد تا آهن را از دسترس عوامل پاتوژن خارج کند. این مطالعه به منظور تعیین اثر استرس مزمن ملایم بر بیان ژن هپسیدین در هیپوکامپ موش صحرایی نر...

سابقه و هدف: نارسایی تغذیه ای، عدم تحرک جسمانی، افزایش میزان چربی بدن و شیوع بیمارهای خاص که همراه با افزایش سن رخ می دهد، ممکن است به طور غیرمستقیم بر عملکرد ایمنی تأثیر بگذارد. هدف از این پژوهش، مطالعه تاثیر 6 ماه تمرین هوازی با شدت متوسط بر گیرنده اینترلوکین 2 (تعداد سلول های CD25)، سطح IL 2 و غلظت IgA بزاقی مردان سالمند بود. مواد و روش ها: 40 نفر از مردان سالمند سالم و غیر ورزشکار با میانگی...