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

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

امروزه سیستمهای rfid به عنوان یکی از تکنولوژیهای نوظهور در زنجیره های تامین و محیط‏های فراگیر مورد بررسی دقیق و موشکافانه‏ای قرار دارند. قبل از بکارگیری وسیع تکنولوژی rfid، بایستی جنبه‏های امنیت و محرمانگی این تکنولوژی مورد توجه قرار گیرند تا علاوه بر جلوگیری از حملات، این سیستمها قادر به بازیابی از موقعیت‏های ناخواسته نیز باشند. زیر ساخت امنیتی در سیستمهای rfid شامل مجموعه‏ای از قوانین، مشخصا...

چکیده مسیریابی چندگامی را می توان به عنوان یکی از اساسی ترین پروتکل های مورد نیاز برای برپایی یک شبکه بی سیم اقتضایی در نظر گرفت. به منظور غلبه بر مشکلات ناشی از حرکت گره ها و امکان تغییر مکرر توپولوژی شبکه، طبیعت توزیع شده و همچنین عدم اتکای شبکه بی سیم اقتضایی به زیرساختار متمرکز از پیش طراحی شده، پروتکلهای مسیریابی متعددی جهت استفاده در این شبکه ها پیشنهاد گردیده اند. طراحان این پروتکلها، ب...

فناوری شناسایی بسامد رادیویی از جمله فناوریهای شناسایی خودکار است که امروزه کاربردهای فراوانی در بسیاری از زمینهها دارد. یکی از کاربردهای شناسایی بسامد رادیویی، ردیابی و شناسایی کالاهای فروشگاههاست. اگر برچسبهای شناسایی بسامد رادیویی با کدهای میلهای مقایسه شوند میتوان به این نتیجه رسید که برچسبهای شناسایی بسامد رادیویی از نظر حجم ذخیرهسازی اطلاعات، قابلیت خواندن و نوشتن، قرار گرفتن در خط دی...

پروتکلهای درمانی و آموزشی در تمام زمینه های پزشکی و پیراپزشکی متداول و مورد استفاده می باشد، این پروتکلها از انواع محلی که در یک بیمارستان استفاده می شوند تا موارد جهانی آن که در متون و مجلات یافت می شوند، متفاوت می باشند. با پیدایش شبکه اینترنت و افزایش اقبال عمومی آن، پایگاههای ( site ) مختلف پزشکی نیز به آن گسترش یافته اند. علاوه بر دانشگاههای معتبر و بیمارستانها، اشخاص حقیقی نیز اقدام به در...

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

معاهده 12 اکتبر1929 مربوط به یکسان کردن برخی از مقررات حمل ونقل هوایی بین المللی ‘ معروف به «معاهده ورشو» ‘71 سال پیش ‘ زمانی که حمل ونقل هوایی هنوز توسعه نیافته بود به تصویب رسید. این معاهده به وسیله اکثر کشورهای جهان تصویب گردیده و در بعضی از کشورها حتی در خصوص پروازهای داخلی هم اجرا می گردد. برای تطبیق با شرایط روز‘ معاهده ورشو 6 مرتبه اصلاح گردیده است که از میان آنها‘ فقط پروتکل لاهه مورد ت...

معاهده 12 اکتبر1929 مربوط به یکسان کردن برخی از مقررات حمل ونقل هوایی بین المللی ‘ معروف به «معاهده ورشو» ‘71 سال پیش ‘ زمانی که حمل ونقل هوایی هنوز توسعه نیافته بود به تصویب رسید. این معاهده به وسیله اکثر کشورهای جهان تصویب گردیده و در بعضی از کشورها حتی در خصوص پروازهای داخلی هم اجرا می گردد. برای تطبیق با شرایط روز‘ معاهده ورشو 6 مرتبه اصلاح گردیده است که از میان آنها‘ فقط پروتکل لاهه مورد ت...

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