1. A calculus for cryptographic protocols: The spi calculus;Abadi,1997
2. A calculus of mobile processes (parts i & ii);Milner;Information and Computation,1992
3. A fully abstract domain model for the π-calculus;Stark,1996
4. Abstract interpretation of the π-calculus;Venet,1996
5. Classification of security properties (part i: Information flow);Focardi,2001