Formal Verification Approach for False Route in MANET
Xin Jin · 2012
It is a general threaten for MANET routing protocol to create the false routes,so analysis of this threaten is an important goal of routing security research.We proposed an approach to formal verification for the false route in MANET.It allows us to represent the basic objective to be proven with the state representation based on our parameterized strand space model of the Ad-hoc routing protocol,and to apply the adapted proof search procedure to automatically verify the basic objective.At last we completed the automatic verification program,called FRpoofor.As a example,we executed FRpoofor to verify and analyze some false route in secure routing protocol Ariadne.