A formal language for cryptographic protocol requirements
From MaRDI portal
Publication:1910421
DOI10.1007/BF00125075zbMATH Open0843.94010OpenAlexW2078142047WikidataQ115053917 ScholiaQ115053917MaRDI QIDQ1910421FDOQ1910421
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
Formal languages and automata (68Q45) Data encryption (aspects in computer science) (68P25) Cryptography (94A60)
Cites Work
- Title not available (Why is that?)
- 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)
- A theorem on atomicity in distributed algorithms
- A formal language for cryptographic protocol requirements
Cited In (6)
- A formal language for cryptographic protocol requirements
- Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols
- On the relationships between models in protocol verification
- Model Checking Security Protocols
- Specification of communicating processes: temporal logic versus refusals-based refinement
- A new logic for electronic commerce protocols
Recommendations
- A Formal Language for Cryptographic Pseudocode 👍 👎
- A domain-specific language for cryptographic protocols based on streams 👍 👎
- Formal Language Identity-based Cryptography 👍 👎
- Formal logical language to set requirements for secure code execution 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
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)
