عنوان المقالة:Security verification of the return routability protocol by Murphi Security verification of the return routability protocol by Murphi
ا.د. محمد عصام يونس | Mohammed I. Younis | 14092
نوع النشر
مجلة علمية
المؤلفون بالعربي
وفاء الصالحي , محمد عصام يونس
المؤلفون بالإنجليزي
Wafaa A. H. Ali Alsalihy and Mohammed I. Younis
الملخص العربي
The return routability protocol (RRP) is commonly used in route optimization to secure and authenticate mobile IPv6 signals between the mobile node and its correspondent node. In this paper, the correctness and the security of RRP were verified using a Murphi model checker. The results show that RRP has no failure and is correct. However, it is not secure, because an intruder may impersonate a mobile node. Therefore, the design of RRP needs to be revised to overcome these obstacles.
الملخص الانجليزي
The return routability protocol (RRP) is commonly used in route optimization to secure and authenticate mobile IPv6 signals between the mobile node and its correspondent node. In this paper, the correctness and the security of RRP were verified using a Murphi model checker. The results show that RRP has no failure and is correct. However, it is not secure, because an intruder may impersonate a mobile node. Therefore, the design of RRP needs to be revised to overcome these obstacles.
تاريخ النشر
07/06/2012
الناشر
Scientific Research and Essays
رقم المجلد
7
رقم العدد
21
رابط DOI
10.5897/SRE10.1211
الصفحات
1986-1996
رابط الملف
تحميل (491 مرات التحميل)
الكلمات المفتاحية
Return routability protocol, Murphi model checker, binding update message, route optimization.
رجوع