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

Type system based on extended Spi calculus

作　　者：袁霖[1] 王亚弟[1] 韩继红[1] 

机构地区：[1]解放军信息工程大学电子技术学院102教研室,郑州450004

出　　处：《计算机工程与应用》2007年第3期131-134,138,共5页Computer Engineering and Applications

摘　　要：主要探讨了使用非形式化的原理和形式化的规则来获得密码协议安全属性的方法。这些原理和规则基于传统的等级和信息流的思想,通过将其扩展后用来处理密码协议中的并发进程。提出的规则是基于Spi演算扩展语法的一种类型规则。通过这些规则可以向用户担保,如果协议通过了类型检测,则该协议没有泄漏任何秘密的消息。The way which uses informal principles and formal rules to cryptographic protocols is probed in this paper.These principles and rules stem from traditional concepts of classification and information flow.The rules presented in this paper is a kind of typing rules based on extended Spi calculus.These rules guarantee that if a protocol typechecks,then it does not leak its secret inputs.

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术]