Reasoning about cryptographic protocols in the spi calculus
From MaRDI portal
Publication:6044108
DOI10.1007/3-540-63141-0_5zbMath1512.94054MaRDI QIDQ6044108
Andrew D. Gordon, Martín Abadi
Publication date: 17 May 2023
Published in: CONCUR '97: Concurrency Theory (Search for Journal in Brave)
94A60: Cryptography
Related Items
Model checking Petri nets with names using data-centric dynamic systems, A calculus for cryptographic protocols: The spi calculus, A hierarchy of equivalences for asynchronous calculi, A comparison of three authentication properties., Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols, Security, Cryptography and Directed Bigraphs