首页> 中文期刊> 《计算机应用与软件》 >基于类型的密码协议验证方法

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

AI论文写作 >>

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

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

著录项

来源
《计算机应用与软件》 |2009年第10期|265-268,281|共5页
作者
李薇;
展开▼
作者单位

解放军信息工程大学电子技术学院;

河南;

郑州;

450004;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
信息安全; 密码协议; 安全属性; 秘密性;

相似文献

中文文献
外文文献
专利

1. 基于petri网的密码协议安全验证方法 [J] . 卢敏 . 贵州水力发电 . 2005,第003期
2. 密码学可靠的不可否认协议辅助验证方法 [J] . 冯超 ,陈岳兵 ,张权 . 通信学报 . 2011,第003期
3. 一种多项式时间复杂度的密码协议秘密性验证方法 [J] . 吴立军 ,苏开乐 . 计算机科学 . 2005,第007期
4. 基于密码协议认证目标的协议分析方法的研究 [J] . 王滨 ,张少武 ,马智 . 微计算机信息 . 2005,第033期
5. 基于密码协议认证目标的协议分析方法的研究 [J] . 王滨 ,张少武 ,马智 . 微计算机信息 . 2005,第11X期
6. TMN密码协议的新类型攻击 [C] . 张玉清 ,吴建平 ,肖国镇 . 2000年中国博士后学术大会 . 2000
7. 基于知识理论的安全协议形式化验证方法的应用——验证对称密钥交换协议 [A] . 罗方跃 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号