Paper 2011/220 Original: eprint.iacr.org/2011/220 ↗
Framework for Security Proofs for On-demand Routing Protocols in Multi-Hop Wireless Networks
Abstract
We present a framework for security proofs for on-demand routing protocols. The framework relies on the composable cryptographic library by Backes, Pfitzmann and Waidner (BPW). The idea is to break down the security requirement against the system (the protocol) into security requirement against the elements of the system, the honest protocol machines in the BPW symbolic model. The practical income of this approach is simplified, structured and cryptographically sound security proof as well as it provides guidelines for designing provably secure protocols.
Metadata
- Available format(s)
PDF- Category
- Cryptographic protocols
- Publication info
- Preprint.
- History
- 2011-05-07: last updated
- 2011-05-07: published
- Short URL
- https://ia.cr/2011/220
- License
- https://creativecommons.org/licenses/by/4.0/
BibTeX
@misc{cryptoeprint:2011/220,
author = {István Vajda},
title = {Framework for Security Proofs for On-demand Routing Protocols in Multi-Hop Wireless Networks},
howpublished = {Cryptology {ePrint} Archive, Paper 2011/220},
year = {2011},
url = {https://eprint.iacr.org/2011/220}
}