Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols

DOI10.1016/J.SCICO.2003.12.001zbMath1072.68535OpenAlexW1973045663MaRDI QIDQ1887728

Catherine A. Meadows

Publication date: 22 November 2004

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2003.12.001

zbMATH Keywords

Formal methodsRequirements engineeringCryptographic protocols

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Related Items (1)

Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography

This page was built for publication: Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols