Spi calculus analysis of Otway-Rees protocol
In this paper we present the Otway-Rees authenticated key transport protocol. We present informally the Spi calculus, an extension of pi-calculus with cryptographic primitives, and use it to express and analyze the Otway-Rees protocol.
key transport protocol spi-calculus formal analysis