Simulation of security protocols based on scenarios of attacks

MaRDI QIDQ5192933zbMATH OpenFDO

Authors Gizela Jakubowska, Piotr Dembinski, Wojciech Penczek, MacIej Szreter

Publication date 10 August 2009

zbMATH Keywords

Estelle

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Simulation and analysis of cryptographic protocols
• scientific article; zbMATH DE number 2080722
• Operational semantics and verification of security protocols.
• Analysis of security protocols as open systems
• scientific article; zbMATH DE number 1926618

Cited in

(2)

• On the relationships between notions of simulation-based security
• scientific article; zbMATH DE number 2080722 (Why is no real title available?)

This page was built for publication: Simulation of security protocols based on scenarios of attacks

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