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

DOI10.1016/J.SCICO.2003.12.001zbMATH Open1072.68535OpenAlexW1973045663MaRDI QIDQ1887728FDOQ1887728

Catherine 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)

Cited In (1)

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

Recommendations

• A formal language for cryptographic protocol requirements 👍 👎
• Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later 👍 👎
• Theory and Applications of Satisfiability Testing 👍 👎
• Mathematical Foundations of Computer Science 2003 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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

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