Computer Engineering and Applications ›› 2007, Vol. 43 ›› Issue (3): 131-131.

• 网络、通信与安全 • Previous Articles     Next Articles

A Type System Based on Extended Spi Calculus

  

  • Received:2006-02-14 Revised:1900-01-01 Online:2007-01-21 Published:2007-01-21

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

袁霖 王亚弟 韩继红   

  1. 郑州解放军信息工程大学电子技术学院102教研室 信息工程大学电子技术学院 信息工程大学电子技术学院
  • 通讯作者: 袁霖

Abstract: The way wich 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.

Key words: type system, cryptographic protocols, secrecy properties, typing rules

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

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