| 基于类型的密码协议验证方法 |
| |
| 引用本文： | 李薇.基于类型的密码协议验证方法[J].计算机应用与软件,2009,26(10):265-268,281. |
| |
| 作者姓名： | 李薇 |
| |
| 作者单位： | 解放军信息工程大学电子技术学院,河南,郑州,450004 |
| |
| 摘 要： | 探讨使用一组形式化的规则来验证密码协议安全属性的方法.这些规则基于传统的等级和信息流的思想,通过将其扩展后用来处理密码协议中的并发进程.通过这些规则可以向用户提供一种检测方法,该方法用于判断:如果协议通过了检测,则可以认为该协议没有泄漏任何秘密的消息.
|
| 关 键 词： | 信息安全 密码协议 安全属性 秘密性 |
A VERIFICATION METHOD OF CRYPTOGRAPHIC PROTOCOLS BASED ON TYPE |
| |
| Li Wei.A VERIFICATION METHOD OF CRYPTOGRAPHIC PROTOCOLS BASED ON TYPE[J].Computer Applications and Software,2009,26(10):265-268,281. |
| |
| Authors: | Li Wei |
| |
| Affiliation: | Institute of Electronic Technology;PLA Information Engineering University;Zhengzhou 450004;Henan;China |
| |
| Abstract: | 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. |
| |
| Keywords: | Information security Cryptographic protocols Security properties Secrecy |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
