منطق اِحراز هویت باروز ابدی و نیدهام (ban) گام های مهمی در جهت تحلیل پروتکل های امنیت بر می دارد‏‏، و دارای چندین بازبینی پی در پی پیشرفته است. در این پایان نامه منطق های vo و svo را مطالعه می کنیم. vo یک گسترش از منطق های خانواده ban می باشد که برای اولین بار‏، بررسی کلید عمومی مبتنی بر پروتکل های ایجاد کلید اِحراز هویتی که هر دو عامل در اشتقاق کلید (یعنی‏، پروتکل های توافق-کلید) همکاری دارند را...

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

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

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

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

امروزه می توان اسناد تجارتی الکترونیکی را به راحتی در محیط های الکترونیکی مورد استفاده قرار داد؛ برات الکترونیکی نیز یکی از این اسناد تجارتی الکترونیکی است. تلاش های قانون نمونه آنسیترال در زمینۀ تجارت الکترونیک 1996این امکان را برای بازرگانان فراهم آورده است تا از سازوکار های طراحی شده برای تجارت الکترونیک از قبیل برات الکترنیکی مدد جویند. در مورد استفاده از برات الکترونیکی مسائلی در مورد «نوش...

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