1. A calculus for cryptographic protocols: The spi calculus;Abadi;Information and Computation,1999
2. Prudent engineering practice for cryptographic protocols;Abadi;IEEE Transactions on Software Engineering,1996
3. Alves-Foss, J. and T. Soule, A weakest precondition calculus for analysis of cryptographic protocols, in: Proceedings of the DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997
4. Systematic design of a family of attack-resistant authentication protocols;Bird;IEEE Journal on Selected Areas in Communications,1993
5. A logic of authentication;Burrows;ACM Transactions on Computer Systems,1990