首页> 中文期刊> 《计算机工程与应用》 >一个军网身份鉴别协议的形式化分析及修正

一个军网身份鉴别协议的形式化分析及修正

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

分别使用形式化分析工具Casper+FDR和OFMC模型检测器对文[1]提出的一个军网身份鉴别协议进行了分析,找到了一个相同的攻击实例.同时指出了文[1]和文[2]中存在的几个谬误.然后对协议进行了修正.形式化验证结果表明修正后的协议是安全的.

著录项

来源
《计算机工程与应用》 |2005年第30期|122-124|共3页
作者
刘璟; 祝世雄; 周明天;
展开▼
作者单位

中国电子科技集团公司第30研究所;

成都;

610041;

中国电子科技集团公司第30研究所;

成都;

610041;

电子科技大学计算机科学与工程学院;

成都;

610054;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
身份鉴别协议; 形式化分析;

相似文献

中文文献
外文文献
专利

1. 军网身份鉴别协议形式化分析 [J] . 卢昱 . 装备学院学报 . 2001,第003期
2. 一个安全有效的身份鉴别协议与对应的数字签名方案 [J] . 吴铤 ,于秀源 . 通信学报 . 2002,第007期
3. 一个基于交互式零知识证明的身份鉴别协议 [J] . 徐明 ,韩维 . 江苏师范大学学报（自然科学版） . 2002,第001期
4. 一个基于交互式零知识证明的身份鉴别和数字签名协议 [J] . 徐明 ,陈纯 ,应晶 . 计算机研究与发展 . 2002,第009期
5. 一个可抵抗临时指数泄露的密钥协商协议形式化安全模型 [J] . 陶文君 ,胡斌 . 计算机科学 . 2013,第011期
6. 基于petri网模型的传感器网络安全协议形式化分析及安全性证明 [C] . Yingjiu Guo ,郭迎九 ,Xuemei Liu . 第十四届全国Petri 网理论与应用学术年会 . 2013
7. 安全协议形式化分析及其应用 [A] . 刘学锋 . 2004

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号