一种基于扩展Spi演算的类型系统

摘要：

主要探讨了使用非形式化的原理和形式化的规则来获得密码协议安全属性的方法.这些原理和规则基于传统的等级和信息流的思想,通过将其扩展后用来处理密码协议中的并发进程.提出的规则是基于Spi演算扩展语法的一种类型规则.通过这些规则可以向用户担保,如果协议通过了类型检测,则该协议没有泄漏任何秘密的消息.

关键词：类型系统、密码协议、保密性、类型规则

所属期刊栏目：43

分类号：TP393(计算技术、计算机技术)

在线出版日期：2007-03-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：131-134,138