scientific article; zbMATH DE number 1956542

MaRDI QIDQ4417879zbMATH OpenFDO

Authors Catherine Meadows

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2618/26180010.htm

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols
• A formal language for cryptographic protocol requirements
• scientific article; zbMATH DE number 1024091
• scientific article; zbMATH DE number 3965967
• Alice and Bob meet equational theories

Cited in

(7)

• Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols
• Separating the specification and implementation phases in cryptology (extended abstract)
• Emerging issues and trends in formal methods in cryptographic protocol analysis: twelve years later
• A brief history of security protocols
• Security protocols and their properties
• MoSS: modular security specifications framework
• The meeting businessmen problem: requirements and limitations

This page was built for publication:

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