1. Milner R. Communicating and Mobile Systems: the o-calculus. Cambridge University press, 1999

2. Sangiorgi D, Walkker D. A Theory of Mobile Processes. Cambridge University Press, 2001

3. Abadi M, Gordon A D. A Calculus for Cryptographic Protocols: The Spi Calculus. SRC Research Report. Digital Systems Research Center. 1998

4. Hennessy M. The Security Pi-calculus and Noninterference. Technical Re Report 2000:5, University of Sussex. 2000

5. Hepburn M, Wright D. Trust in the Pi-calculus. In: Third International Conference on Principles and Practice of Declarative Pro-gramming (PPDP'O1). 2001

6. Honda K, Vasconcelos V, Yoshida N. Secure Information Flow as Typed Process Behaviour. ESOP' 00, LNCS 1782, 2000, 133^-147.

7. Pottier F. A Simple View of Type-Secure Information Flow in the pi-calculus. In: Proceedings the 15th IEEE Computer Security Foundations Workshop. Nova Scotia: Cape Breton. 2002

8. Smith G. A New Type Sytem for Secure Information Flow. In: Proceedings of 14th IEEE Computer Security Foundations Work-shop, 2001. 115^-125.

9. BeII DE，LaPadula I. j. Secure Computer System: Mathematical Foundations and Model. Technical MITRE Corporation, Bedford.MA. 1974

10. WANG Li-Bin. A Uniform Framework of Security Model for Mobile Systems. Chinese Journal of Electronics(to appear), 2002.

11. Schneider F B, Morrisett G, Harper R. A Language-based Approach to Security. Informatics: 10 Years Back, 10 Years Ahead,Lecture Notes in Computer Science, Volume 2000 (Reihnard Wilhelm, ed). Heidelberg: Springer-Verlag, 2000. 86一101.