درستی یابی گمنامی در منطق شناختی
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه علوم پایه دامغان - پژوهشکده ریاضیات
- نویسنده حسین کلاته سیفری
- استاد راهنما مصطفی زارع خورمیزی بهزاد صالحیان
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1391
چکیده
گمنامی خاصیتی قابل ردیابی نیست، از این رو بررسی گرهای مدل سنتی توانایی بیان و درستی یابی آن را ندارند. با بهره گیری از منطق شناختی برای مدل کردن پروتکل ها می توان گمنامی را با فرمول شناختی بیان و درستی یابی کرد.در این پایان نامه هدف استفاده از منطق شناختی پویا برای مدل سازی پروتکل های امنیت و خاصیت ها به ویژه خاصیت گمنامی است.
منابع مشابه
الگوریتمی برای درستی یابی محرمانگی در پروتکل های امنیت
در این پایان نامه یک درست یاب خودکار پروتکل های رمزنگاری جدید بر اساس یک نمایش ساده از پروتکل به وسیله ی قاعده های پرولوگ و یک الگوریتم کارآمد جدید که مشخص می کند، آیا یک حقیقت از این قاعده ها استنتاج می شود یا خیر، ارائه شده است. این درست یاب خاصیت محرمانگی در پروتکل ها را اثبات می کند. به کمک استفاده الگوریتم از اتحاد، از مساله ی انفجار فضای حالت جلوگیری می شود. مزیت دیگر این است که نیازی به...
15 صفحه اولآیا «اکولوژی منظر» تعبیر درستی است؟
اکولوژی منظر، اصطلاحی است که در دو دهۀ اخیر رایج شده و تلاش دارد با بسط دامنۀ مطالعۀ خود به خواسته‌های جدید انسان از مکان پاسخ گوید. از سوی دیگر، منظر به‌عنوان رشته‌ای جدید که به تبیین ماهیت مکان می‌پردازد، ویژگی‌هایی را برای شناخت منظرین معرفی می‌کند که در چارچوب روش‌های متعارف اکولوژی نمی‌گنجد. مقالات زیاد اکولوژیست‌ها در خصوص منظر تدریجاً تعریف آن را به ابعاد خاص و غالباً کالبدی معطوف می...
متن کاملگمنامی بنام در تاریخ ادب فارسی اثیرالدین اومانی
گنجینۀ ادب فارسی سرشار از مرواریدهای درخشانی است که تنها اندکی از آن در دسترس ادب دوستان قرار گرفته است. یکی از ستارگان درخشان ادب فارسی که در طاق نسیان و زاویۀ گمنامی قرار گرفته و در عصر خویش از شاعران توانا و مشهور بوده، اثیرالدین اومانی است. اهمیت دیوان این شاعر هم از جهت اشعار استادانه و احتوای آن بر لغات اصیل و کهنۀ ادب فارسی است و هم از جهت تاریخی نیز دارای فواید فراوانی است ولیکن تاکنون...
متن کاملرویکردی مبتنی بر توصیف برای تولید قوانین درستی یابی نرم افزار های واکنشی
از آنجا که رویکردهای درستی یابی ایستا1 و آزمون نرم افزار ، برای اطمینان یافتن از درستی عملکرد نرم افزار ها کافی نیست، رویکرد دیگری به نام درستی یابی در زمان اجرا2 - که در آن درستی نرم افزار در برابر قیود3 در زمان اجرای واقعی نرم افزار انجام می شود - مورد استقبال قرار گرفته است. اما مشکلی که این رویکرد با آن روبه رو است، درستی یابی فعالیت های زمان اجرای نرم افزار در برابر توصیف های انتزاعی4 و سط...
متن کاملارزیابی مطالعات درستی آزمون تشخیصی
In the recent years, advances in different fields of technology have been resulted in a dramatic increase in the diagnostic methods and tests in different branches of clinical medicine with a consequent increase in the number of scientific publications related to the application of those tests and methods in the diagnosis or prevention of diseases. Dermatology is not an exception. Since, eviden...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه علوم پایه دامغان - پژوهشکده ریاضیات
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023