文章基本信息

标题：Security verification of the return routability protocol by Murphi
本地全文：下载
作者：Wafaa A. H. Ali Alsalihy ; Mohammed I. Younis
期刊名称：Scientific Research and Essays
印刷版ISSN：1992-2248
出版年度：2012
卷号：7
期号：21
页码：986-1996
DOI：10.5897/SRE10.1211
语种：English
出版社：Academic Journals
摘要：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.
关键词：Return routability protocol; Murphi model checker; binding update message; route optimization