Journal of University of Chinese Academy of Sciences >
A Simple Type System with Security Level in π-calculus
Received date: 2002-06-06
Online published: 2002-05-18
A simple type system with security levels in π-calculus is proposed, and its type soundness is proved. This simple type. π-calculus with this type system can be used as a general formalism for secure systems or secure protocols analysis and specification.
Key words： π-calculus; type system; secure protocols
WANG Li-Bin , CHEN Ke-Fei . A Simple Type System with Security Level in π-calculus[J]. Journal of University of Chinese Academy of Sciences, 2002 , 19(3) : 278 -281 . DOI: 10.7523/j.issn.2095-6134.2002.3.009
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.
/
| 〈 |
|
〉 |