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

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.