Title: A proof technique for security assessment of on-demand ad hoc routing protocols

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.

DOI: 10.1504/IJSN.2014.059329

International Journal of Security and Networks, 2014 Vol.9 No.1, pp.12 - 19

Available online: 11 Feb 2014 *

Full-text access for editors Access for subscribers Purchase this article Comment on this article