The Security Analysis for Ad Hoc Routing Protocols Based on Improved Strand Space

Strand space is often used to analyze the secure protocols. However, the protocol consistency conditions defined by strand space do not satisfy the characteristics of ad hoc routing protocol. Based on the characteristics of ad hoc mobile network, the thesis re-defines the consistency conditions for the normal operation of the protocol and at the same time adds intermediator credibility condition, thus adapts the strand space method to the security analysis for ad hoc routing protocols. The SRP protocol is taken as an example for the analysis of its security, and accordingly valuable results have been obtained