About models of security protocols

DOI10.4230/LIPICS.FSTTCS.2008.1766MaRDI QIDQ3165972zbMATH OpenOpenAlexFDO

Authors Hubert Comon-Lundh

Publication date 19 October 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_9a59.html

zbMATH Keywords

concurrencyformal methodssecurityprotocols

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Network protocols (68M12)

Recommendations

• scientific article; zbMATH DE number 3965967
• Models and Proofs of Protocol Security: A Progress Report
• Security protocol verification: symbolic and computational models
• A survey of symbolic methods in computational analysis of cryptographic systems
• Towards unconditional soundness: computationally complete symbolic attacker

Cited in

(2)

• scientific article; zbMATH DE number 3242123 (Why is no real title available?)
• On the relationships between models in protocol verification

This page was built for publication: About models of security protocols

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3165972)