| 为π演算建立具有安全级别的简单类型系统 |
| |
| 引用本文： | 王立斌,陈克非.为π演算建立具有安全级别的简单类型系统[J].中国科学院研究生院学报,2002,19(3):278-281. |
| |
| 作者姓名： | 王立斌 陈克非 |
| |
| 作者单位： | 上海交通大学计算机科学与工程系,上海,200030 |
| |
| 基金项目： | 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 Level in π-calculus |
| |
| Abstract.A Simple Type System with Security Level in π-calculus[J].Journal of the Graduate School of the Chinese Academy of Sciences,2002,19(3):278-281. |
| |
| Authors: | Abstract |
| |
| 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. |
| |
| Keywords: | type system secure protocols |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
