A formal language for cryptographic protocol requirements
From MaRDI portal
Publication:1910421
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
Formal languages and automata (68Q45) Cryptography (94A60) Data encryption (aspects in computer science) (68P25)
Related Items
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