Models and Proofs of Protocol Security: A Progress Report
From MaRDI portal
Publication:3636852
DOI10.1007/978-3-642-02658-4_5zbMath1242.68095OpenAlexW1485364906MaRDI QIDQ3636852
Bruno Blanchet, Hubert Comon-Lundh, Martín Abadi
Publication date: 30 June 2009
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02658-4_5
Related Items (4)
Formal analysis and offline monitoring of electronic exams ⋮ Improvement of a chaotic maps-based three-party password-authenticated key exchange protocol without using server's public key and smart card ⋮ Logical Formalisation and Analysis of the Mifare Classic Card in PVS ⋮ Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model
This page was built for publication: Models and Proofs of Protocol Security: A Progress Report
