首页> 中文会议>中国密码学会2007年年会 >Needham-Schroeder共享密钥协议的重新设计

Needham-Schroeder共享密钥协议的重新设计

页面导航

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

摘要

本文研究了Needham-Schroeder共享密钥协议.虽然Needham和Schroeder对原始的协议进行了修改,但修改后的协议仍然存在缺陷.还有其他一些学者也对该协议进行了修改,但是仍然不令人满意.针对原始协议存在的缺陷和漏洞,利用我们提出的一种分析和设计安全协议的新逻辑(简称为MHL逻辑)对原始的协议进行了重新设计,并用MHL逻辑来分析了重新设计后的协议.说明修改后的协议能够达到协议的目标.最后,把修改后的协议与相关工作进行了比较.

著录项

来源
《中国密码学会2007年年会》|2007年|246-254|共9页
会议地点成都
作者
缪祥华; 张云生;
展开▼
作者单位

中国密码学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类
关键词
协议设计; MHL逻辑; NS共享密钥协议;

相似文献

中文文献
外文文献
专利

1. 使用组合协议逻辑PCL验证Amended Needham-Schroeder协议 [J] . 刘锋 ,李舟军 ,周倜 . 计算机工程与科学 . 2008,第011期
2. 基于事件逻辑的改进Needham-Schroeder协议安全性证明 [J] . 刘欣倩 ,肖美华 ,程道雷 . 计算机工程与科学 . 2015,第010期
3. Needham-Schroeder协议的认证测试方法形式化分析 [J] . 李廷元 ,秦志光 ,刘晓东 . 计算机工程与应用 . 2010,第019期
4. 基于Strand模型的Needham-Schroeder协议分析 [J] . 贾立伟 ,周清雷 ,赵东明 . 微计算机信息 . 2008,第027期
5. Needham-Schroeder协议分析及改进的方案 [J] . 邓永江 . 铜陵学院学报 . 2006,第003期
6. 使用组合协议逻辑PCL验证Amended Needham-Schroeder协议 [C] . . 2008年全国理论计算机科学学术年会 . 2008
7. 无线网络中基于共享密钥的轻量级匿名认证协议 [A] . 宋园园 . 2017

Needham-Schroeder共享密钥协议的重新设计

摘要

著录项

相似文献

相关主题

期刊订阅