Authors: István Vajda
Addresses: Department of Informatics, Technical University of Budapest, 1521 Budapest, Pf. 91, Hungary
Abstract: 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.
Keywords: cryptanalysis; ad hoc routing protocols; provable security; security assessment; on-demand routing protocols; security proofs; cryptography.
International Journal of Security and Networks, 2014 Vol.9 No.1, pp.12 - 19
Received: 02 Aug 2013
Accepted: 03 Oct 2013
Published online: 11 Feb 2014 *