A proof technique for security assessment of on-demand ad hoc routing protocols
István Vajda · International Journal of Security and Networks · 2014
We present a technique for security proofs for on–demand routing protocols. The idea is to break down the security requirement against the protocol into the security requirement against a single honest protocol machine. The practical income is a simplified approach that provides also guidelines for designing provably secure protocols.