摘要
为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协议分析与规范的普适形式化工具.
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.
出处
《中国科学院研究生院学报》
CAS
CSCD
2002年第3期278-281,共4页
Journal of the Graduate School of the Chinese Academy of Sciences
基金
Major Program of National Natural Science Foundation of China (90104005) and General Program of Natural Science Foun-dation of China (69973031)
