Welcome to Journal of University of Chinese Academy of Sciences,Today is

›› 2002, Vol. 19 ›› Issue (3): 278-281.DOI: 10.7523/j.issn.2095-6134.2002.3.009

Previous Articles     Next Articles

A Simple Type System with Security Level in π-calculus

WANG Li-Bin, CHEN Ke-Fei   

  1. Department of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai 200030
  • Received:2002-06-06 Online:2002-05-18

Abstract:

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

CLC Number: