首页> 中文期刊>计算机工程与应用 >密码协议形式化分析的计算合理性

密码协议形式化分析的计算合理性

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

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

摘要

基于Abadi-Rowgaway的形式化加密的计算合理性定理,提出和证明了密码协议形式化分析的计算合理性定理.通过对群密钥分配协议安全性的分析,说明定理对协议的可选择攻击具有较强的分析能力,提出了群密钥分配协议的形式化方法与计算方法下安全性的形式化定义,并证明了其合理性.

著录项

来源
《计算机工程与应用》|2007年第21期|8-11|共4页
作者
王全来; 王亚弟; 韩继红;
展开▼
作者单位

解放军信息工程大学,电子技术学院,郑州,450004;

解放军信息工程大学,电子技术学院,郑州,450004;

解放军信息工程大学,电子技术学院,郑州,450004;

解放军信息工程大学,电子技术学院,郑州,450004;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
形式化方法; 计算方法; 合理性定理; 密码协议分析;
入库时间 2022-08-18 04:38:30

相似文献

中文文献
外文文献
专利

1. 密码协议形式化分析的计算合理性 [J] . 王全来 ,王亚弟 ,韩继红 . 微计算机信息 . 2007,第024期
2. 计算可靠的密码协议形式化分析综述 [J] . 雷新锋 ,宋书民 ,刘伟兵 . 计算机学报 . 2014,第005期
3. 基于前推的密码协议形式化分析方法 [J] . 闫靖晨 ,高宏彪 ,程京德 . 信息安全研究 . 2017,第005期
4. 基于前推的密码协议形式化分析方法 [J] . 闫靖晨高宏彪程京德 . 信息安全研究 . 2017,第005期
5. 密码协议形式化分析中的逻辑规则精简 [J] . 潘进 ,王小明 ,谢青松 . 西安邮电学院学报 . 2016,第002期
6. 关于密码协议的形式化分析 [C] . 李晨 ,许春香 . 第九届全国信息隐藏暨多媒体信息安全学术大会CIHW2010 . 2010
7. 关于密码协议的形式化分析方法的研究 [A] . 李晨 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号