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
Preprints, Working Papers, ...

Formal Analysis of Combinations of Secure Protocols

Abstract : When trying to prove the security of a protocol, one usually analyzes the protocol in isolation, i.e., in a network with no other protocols. But in reality, there will be many protocols operating on the same network, maybe even sharing data including keys, and an intruder may use messages of one protocol to break another. We call that a multi-protocol attack. In this paper, we try to find such attacks using the Tamarin prover. We analyze both examples that were previously analyzed by hand or using other tools, and find novel attacks.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [29 references]  Display  Hide  Download

Contributor : Jannik Dreier Connect in order to contact the contributor
Submitted on : Saturday, November 11, 2017 - 9:27:33 PM
Last modification on : Friday, February 4, 2022 - 3:30:45 AM
Long-term archiving on: : Monday, February 12, 2018 - 12:20:47 PM


Files produced by the author(s)


  • HAL Id : hal-01558552, version 5


Elliott Blot, Jannik Dreier, Pascal Lafourcade. Formal Analysis of Combinations of Secure Protocols . 2017. ⟨hal-01558552v5⟩



Record views


Files downloads