By Topic

Security analysis of routing protocol for MANET based on extended Rubin logic

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Yang Xu ; Guizhou Univ., Guiyang ; Xiaoyao Xie

One of the greatest obstacles to wide-spread deployment of MANET is security. Security of routing protocols for MANET is the emphasis of MANET security. However, it is difficult to design protocols that are immune to malicious attack, because good analysis techniques are lacking. Rubin logic is the first technique for specifying and analyzing nonmonotonic cryptographic protocols, though it is inadequate to analyze non-repudiation of protocols. Considered the property of routing protocols for MANET, extensions to Rubin logic are presented in this paper. A new local set as well as new actions and inference rules are introduced. The extended Rubin logic can be used to analyze non-repudiation of protocols. Taken example of ARAN, the security of routing protocol is analyzed by using the extended Rubin logic, which proves the method is valid.

Published in:

Networking, Sensing and Control, 2008. ICNSC 2008. IEEE International Conference on

Date of Conference:

6-8 April 2008