1. Secrecy by typing in security protocols;Abadi,1997
2. A calculus for access control in distributed systems;Abadi;ACM Trans. Program. Languages Systems,1993
3. A calculus for cryptographic protocols: The Spi Calculus;Abadi;Technical Report,1997
4. A calculus for cryptographic protocols: The spi calculus;Abadi,1997
5. Reasoning about cryptographic protocols in the spi calculus;Abadi,1997