A formal language for cryptographic protocol requirements

DOI10.1007/BF00125075zbMath0843.94010OpenAlexW2078142047WikidataQ115053917 ScholiaQ115053917MaRDI QIDQ1910421

Paul Syverson, Catherine A. 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

formal languagekey distributioncryptographic protocol

Mathematics Subject Classification ID

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

Related Items (5)

Model Checking Security Protocols ⋮ A formal language for cryptographic protocol requirements ⋮ Specification of communicating processes: temporal logic versus refusals-based refinement ⋮ On the relationships between models in protocol verification ⋮ A new logic for electronic commerce protocols

Cites Work

• Unnamed Item
• A theorem on atomicity in distributed algorithms
• A formal language for cryptographic protocol requirements
• A public key cryptosystem and a signature scheme based on discrete logarithms
• New directions in cryptography
• On the security of public key protocols
• A semantics for a logic of authentication (extended abstract)

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