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

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

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

در رمزنگاری کوانتومی یک ناظر نمی‏تواند سمت‏گیری و یا قطبی شدن فوتون را بدون آشفتن فوتون و تغییر دادن نتیجه آن دریابد. در پروتکل پینگ-پنگ که برای مبادله اطلاعات کوانتومی مورد استفاده قرار می‏گیرد، یک حالت اولیه برای برقراری ارتباط، توسط فرستنده تولید و آماده می‏شود. در این تحقیق ابتدا روش تولید حالت درهمتنیده (جهت استفاده به عنوان حالت اولیه در پروتکل) با استفاده از فرآیندهای pdc توضیح داده شده ...

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

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

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