为π演算建立具有安全级别的简单类型系统(英文)  

A Simple Type System with Security Level in π-calculus

作　　者：王立斌[1] 陈克非[1] 

机构地区：[1]上海交通大学计算机科学与工程系,上海200030

出　　处：《中国科学院研究生院学报》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)

摘　　要：为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协议分析与规范的普适形式化工具.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.

关 键 词：简单类型系统 Π演算 安全协议 规约语义 类型可靠性 安全系统 计算机安全 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]