基于类型的密码协议验证方法

• 作者: 李薇
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 信息安全 密码协议 安全属性 秘密性
• 年，卷（期）: 2009,（10）
• 所属期刊栏目: 安全技术
• 页码范围: 265-268,281
• 页数: 5页
• 分类号: TP3
• 字数: 5339字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2009.10.083

摘要

探讨使用一组形式化的规则来验证密码协议安全属性的方法.这些规则基于传统的等级和信息流的思想,通过将其扩展后用来处理密码协议中的并发进程.通过这些规则可以向用户提供一种检测方法,该方法用于判断:如果协议通过了检测,则可以认为该协议没有泄漏任何秘密的消息.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李薇	解放军信息工程大学电子技术学院	1	0	0.0	0.0