Enhancing SVO logic for mobile IPv6 security protocols

Ilsun You, Yoshiaki Hori, Kouichi Sakurai

研究成果: Contribution to journalArticle査読

23 被引用数 (Scopus)

抄録

In order to protect Mobile Internet Protocol Version 6 (MIPv6), considerable researches have been made, consequently followed by various security protocols, which are based on public key cryptography. Especially, depending on a proper address based public key method, these protocols use each node's address as a public key certificate to authenticate its public key because no global public key infrastructure is available in MIPv6 environments. In addition, they execute an appropriate address test to check if a node exists at its claimed address. With such security features, the protocols prevent critical attacks including redirect, man-in-the middle, and denial of service ones. On the other hand, it is clearly of paramount importance to formally evaluate the MIPv6 security protocols to design them without flaws. Unfortunately, there is lack of the formal verification method to precisely reason about their correctness while considering their unique security properties to our best knowledge. In this paper, we propose an extended SVO logic for the thorough verification of the MIPv6 security protocols. Then, we show its effectiveness by applying the proposed logic to four security protocols.

本文言語英語
ページ(範囲)26-52
ページ数27
ジャーナルJournal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications
2
3
出版ステータス出版済み - 1 1 2011

All Science Journal Classification (ASJC) codes

  • Computer Science (miscellaneous)
  • Computer Science Applications
  • Computer Networks and Communications

フィンガープリント 「Enhancing SVO logic for mobile IPv6 security protocols」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル