Joshua Guttman: pioneering strand spaces
From MaRDI portal
Publication:2154021
DOI10.1007/978-3-030-91631-2_19zbMath1498.68007OpenAlexW4205840778MaRDI QIDQ2154021
Publication date: 13 July 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-91631-2_19
Cryptography (94A60) History of information and communication theory (94-03) History of computer science (68-03) Computer security (68M25) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
- An attack on the Needham-Schroeder public-key authentication protocol
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- IMPS: An interactive mathematical proof system
- Three systems for cryptographic protocol analysis
- Authentication tests and the structure of bundles.
- The NRL Protocol Analyzer: An Overview
- Using encryption for authentication in large networks of computers
- A semantics for a logic of authentication (extended abstract)
- Reasoning about cryptographic protocols in the spi calculus
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Joshua Guttman: pioneering strand spaces
