یک معناشناسی برای یک منطق احراز اصالت
محل انتشار: دومین همایش منطقه ای علوم ریاضی و کاربردها
سال انتشار: 1393
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 841
متن کامل این مقاله منتشر نشده است و فقط به صورت چکیده یا چکیده مبسوط در پایگاه موجود می باشد.
توضیح: معمولا کلیه مقالاتی که کمتر از ۵ صفحه باشند در پایگاه سیویلیکا اصل مقاله (فول تکست) محسوب نمی شوند و فقط کاربران عضو بدون کسر اعتبار می توانند فایل آنها را دریافت نمایند.
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
SRCMSA02_063
تاریخ نمایه سازی: 27 آبان 1393
چکیده مقاله:
با توسعه سریع شبکه های ارتباطی استفاده از پروتکل های امنیت برای رسیدن به اهداف امنیتی بیش از پیش های مورد استفاده برای اطمینان از های رمزنگاری و الگوریتم مورد توجه قرار گرفته است. امنیت شبکه، شامل پروتکلهای رمزنگاری همه منظوره طراحی و با استفاده از ارتباطات امن در یک محیط ناامن است. به طور سنتی، پروتکلها منجر به کشف نقایصامنیتی یابی صوری پروتکل اند. عدم درستی یابی شده های غیر صوری و شهودی درستی تکنیککه طوری های رمزنگاری است به های دقیق و کامل ارزیابی صحت پروتکل یابی صوری ارائه روش شود. هدف درستی میهای امنیتی تا حد زیادی به یابی صوری پروتکل های ظریف نیز کشف شوند. روش مبتنی بر منطق درستی حتی نقصتوسعه یافته است منطقی شناختی است که BAN که بر اساس منطق AT گردد. منطق بر می BAN دهندگان منطق ارائهبررسی AT ی امنیت مناسب هستند تکمیل شده است. در این مقاله منطق توسط ساختارهایی که برای استدلال دربارهشود. م
کلیدواژه ها:
نویسندگان
فاطمه کاشانی
دانشجوی کارشناسی ارشد ریاضی دانشگاه دامغان
حامد کاشانی
فارغ التحصیل ریاضی محض دانشگاه آزاد اسلامی واحد ورامین واحد پیشوا
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :