摘要
探讨使用一组形式化的规则来验证密码协议安全属性的方法。这些规则基于传统的等级和信息流的思想,通过将其扩展后用来处理密码协议中的并发进程。通过这些规则可以向用户提供一种检测方法,该方法用于判断:如果协议通过了检测,则可以认为该协议没有泄漏任何秘密的消息。
The way which uses a set of formal rules to verify the security properties of cryptographic protocols is probed in this paper.These rules stem from traditional concepts of classification and information flow,and are used to deal with the concurrent process in cryptographic protocols after being expanded.A way of verification can be provided to clients through these rules for judging：if a protocol passes the checks,then it is regarded as does not leak its secret information any.
出处
《计算机应用与软件》
CSCD
2009年第10期265-268,281,共5页
Computer Applications and Software
关键词
信息安全
密码协议
安全属性
秘密性
Information security Cryptographic protocols Security properties Secrecy
