中国科学院研究生院学报2002，Vol.19Issue(3)：278-281,4.
为π演算建立具有安全级别的简单类型系统
A Simple Type System with Security Level in π-calculus
摘要
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分类
信息技术与安全科学引用本文复制引用
王立斌,陈克非..为π演算建立具有安全级别的简单类型系统[J].中国科学院研究生院学报,2002,19(3):278-281,4.基金项目
supported by Major Program of National Natural Science Foundation of China (90104005) and General Program of Natural Science Foundation of China (69973031) （90104005）
