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

• 作者: 王亚弟 袁霖 韩继红
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 类型系统 密码协议 保密性 类型规则
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 131-134,138
• 页数: 5页
• 分类号: TP393
• 字数: 5720字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.03.041

摘要

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