Verification of a Smart Card-Based Remote User Authentication Protocol Using Strand Space Model
محل انتشار: هفتمین کنفرانس انجمن رمز ایران
سال انتشار: 1389
نوع سند: مقاله کنفرانسی
زبان: انگلیسی
مشاهده: 1,392
فایل این مقاله در 8 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ISCC07_010
تاریخ نمایه سازی: 11 آذر 1389
چکیده مقاله:
Formal verification of security protocols is a good way to show that a protocol sarisfies required security services and consequently we may trust and apply them in real world. Authentication protocols are special ones such that it is a bit difficult to show their correctness. In this paper, we consider a smart card-based remote user authentication protocol presented by Song, Korba and Yee. We verify this protocol using strand space model which is a formal verification method. In this verification we show that this protocol supply the bilateral authentication conditions according to Lowe classification.
کلیدواژه ها:
نویسندگان
Rahim Samei
Electronic Research Center ,Sharif University of Technology, Tehran, Iran
Javad Mohajeri
Sharif University of Technology, Tehran, Iran ,
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :