A formal language for cryptographic protocol requirements
From MaRDI portal
Publication:1910421
DOI10.1007/BF00125075zbMath0843.94010WikidataQ115053917 ScholiaQ115053917MaRDI QIDQ1910421
Paul Syverson, Catherine A. Meadows
Publication date: 19 August 1996
Published in: Designs, Codes and Cryptography (Search for Journal in Brave)
68Q45: Formal languages and automata
94A60: Cryptography
68P25: Data encryption (aspects in computer science)
Related Items
Specification of communicating processes: temporal logic versus refusals-based refinement, A new logic for electronic commerce protocols, A formal language for cryptographic protocol requirements, On the relationships between models in protocol verification, Model Checking Security 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)