1. Just fast keying in the pi calculus
2. Abadi, M., & Fournet, C. (2001). Mobile values, new values, and secure communications. In Proceedings of 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’01) (pp. 104-115).
3. A Calculus for Cryptographic Protocols: The Spi Calculus
4. Al- Jaljouli. R. (2006). A proposed security protocol for data gathering mobile agents. Masters Thesis Dissertation. University of New South Wales, School of Computer Science and Engineering, Australia.
5. Al-Jaljouli, R. (2005). Formal methods in the enhancement of the data security protocols of mobile agents (Technical Report TR 520). University of New South Wales, School of Computer Science and Engineering, Australia. Retrieved on December 24, 2010, from http://cgi.cse.unsw.edu.au/~reports