یک معناشناسی برای یک منطق احراز اصالت
- سال انتشار: 1393
- محل انتشار: دومین همایش منطقه ای علوم ریاضی و کاربردها
- کد COI اختصاصی: SRCMSA02_063
- زبان مقاله: فارسی
- تعداد مشاهده: 928
نویسندگان
دانشجوی کارشناسی ارشد ریاضی دانشگاه دامغان
فارغ التحصیل ریاضی محض دانشگاه آزاد اسلامی واحد ورامین واحد پیشوا
چکیده
با توسعه سریع شبکه های ارتباطی استفاده از پروتکل های امنیت برای رسیدن به اهداف امنیتی بیش از پیش های مورد استفاده برای اطمینان از های رمزنگاری و الگوریتم مورد توجه قرار گرفته است. امنیت شبکه، شامل پروتکلهای رمزنگاری همه منظوره طراحی و با استفاده از ارتباطات امن در یک محیط ناامن است. به طور سنتی، پروتکلها منجر به کشف نقایصامنیتی یابی صوری پروتکل اند. عدم درستی یابی شده های غیر صوری و شهودی درستی تکنیککه طوری های رمزنگاری است به های دقیق و کامل ارزیابی صحت پروتکل یابی صوری ارائه روش شود. هدف درستی میهای امنیتی تا حد زیادی به یابی صوری پروتکل های ظریف نیز کشف شوند. روش مبتنی بر منطق درستی حتی نقصتوسعه یافته است منطقی شناختی است که BAN که بر اساس منطق AT گردد. منطق بر می BAN دهندگان منطق ارائهبررسی AT ی امنیت مناسب هستند تکمیل شده است. در این مقاله منطق توسط ساختارهایی که برای استدلال دربارهشود. مکلیدواژه ها
احراز اصالت، معناشناسی، پروتکل های امنیت، رمزنگاریاطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.