HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Synthetizing secure protocols

Véronique Cortier 1 Bogdan Warinschi 2 Eugen Zalinescu 1
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) into a protocol that is secure against a fully active adversary which interacts with an unbounded number of protocol sessions, and has absolute control over the network. The transformation works for arbitrary protocols with any number of participants, written with usual cryptographic primitives. Our transformation provably preserves a large class of security properties that contains secrecy and authenticity. An important byproduct contribution of this paper is a modular protocol development paradigm where designers focus their effort on an extremely simple execution setting – security in more complex settings being ensured by our generic transformation. Conceptually, the transformation is very simple, and has a clean, well motivated design. Each message is tied to the session for which it is intended via digital signatures and on-the-fly generated session identifiers, and prevents replay attacks by encrypting the messages under the recipient's public key.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00181599
Contributor : Véronique Cortier Connect in order to contact the contributor
Submitted on : Wednesday, October 24, 2007 - 10:26:37 AM
Last modification on : Friday, January 21, 2022 - 3:09:07 AM

Identifiers

  • HAL Id : inria-00181599, version 1

Citation

Véronique Cortier, Bogdan Warinschi, Eugen Zalinescu. Synthetizing secure protocols. 12th European Symposium On Research In Computer Security - ESORICS'07, Sep 2007, Dresden, Germany. pp.406-421. ⟨inria-00181599⟩

Share

Metrics

Record views

73