A formal language for cryptographic protocol requirements

DOI10.1007/BF00125075MaRDI QIDQ1910421zbMATH OpenOpenAlexWikidataFDO

Authors Paul Syverson, Catherine Meadows

Publication date 19 August 1996

Published in Designs, Codes and Cryptography (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00125075

zbMATH Keywords

cryptographic protocolformal languagekey distribution

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Formal languages and automata (68Q45) Cryptography (94A60)

Recommendations

• A Formal Language for Cryptographic Pseudocode
• Formal language identity-based cryptography
• scientific article; zbMATH DE number 611082
• scientific article; zbMATH DE number 1024091
• An improved formal model of cryptographic protocols
• A domain-specific language for cryptographic protocols based on streams
• scientific article; zbMATH DE number 1832234
• Formal logical language to set requirements for secure code execution
• scientific article; zbMATH DE number 1956549

Cites work

• A formal language for cryptographic protocol requirements
• A public key cryptosystem and a signature scheme based on discrete logarithms
• A semantics for a logic of authentication (extended abstract)
• A theorem on atomicity in distributed algorithms
• scientific article; zbMATH DE number 1024060 (Why is no real title available?)
• New directions in cryptography
• On the security of public key protocols

Cited in

(9)

• A new logic for electronic commerce protocols
• Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols
• A formal language for cryptographic protocol requirements
• On the relationships between models in protocol verification
• The NRL Protocol Analyzer: An Overview
• Model Checking Security Protocols
• scientific article; zbMATH DE number 1956542 (Why is no real title available?)
• scientific article; zbMATH DE number 1985627 (Why is no real title available?)
• Specification of communicating processes: temporal logic versus refusals-based refinement

This page was built for publication: A formal language for cryptographic protocol requirements

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