1. Milner R. Communicating and Mobile Systems: the o-calculus. Cambridge University press, 19992. Sangiorgi D, Walkker D. A Theory of Mobile Processes. Cambridge University Press, 20013. Abadi M, Gordon A D. A Calculus for Cryptographic Protocols: The Spi Calculus. SRC Research Report. Digital Systems Research Center. 19984. Hennessy M. The Security Pi-calculus and Noninterference. Technical Re Report 2000:5, University of Sussex. 20005. Hepburn M, Wright D. Trust in the Pi-calculus. In: Third International Conference on Principles and Practice of Declarative Pro-gramming (PPDP'O1). 20016. 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. 20028. 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. 197410. 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. |