scientific article; zbMATH DE number 1956542

zbMATH Open1032.94518MaRDI QIDQ4417879FDOQ4417879

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Cryptography (94A60)

Cited In (7)

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

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)