| 为π演算建立具有安全级别的简单类型系统(英文) |
| |
| 作者姓名： | 王立斌 陈克非 |
| |
| 作者单位： | 上海交通大学计算机科学与工程系 上海 200030 |
| |
| 基金项目： | Major Program of National Natural Science Foundation of China （90104005） and General Program of Natural Science Foun-dation of China （69973031） |
| |
| 摘 要： | 为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协议分析与规范的普适形式化工具.
|
| 关 键 词： | &pi 演算 类型系统 安全协议 |
| 收稿时间： | 2002-06-06 |
A Simple Type System with Security Level in π-calculus |
| |
| Authors: | WANG Li-Bin CHEN Ke-Fei |
| |
| Institution: | Department of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai 200030 |
| |
| 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: | π-calculus type system secure protocols |
|
| 点击此处可从《》浏览原始摘要信息 |
| 点击此处可从《》下载免费的PDF全文 |
