军事通信技术2017，Vol.38Issue(1) ：90-96.DOI:10.16464/j.cnki.cn32-1289.2017.01.018

网络安全技术专题讲座(二)第3讲 密码协议研究与发展

Study and Development on Cryptographic Protocol

苑博奥 刘军 周海刚
军事通信技术2017，Vol.38Issue(1) ：90-96.DOI:10.16464/j.cnki.cn32-1289.2017.01.018
✕
  • NETL
  • NSTL
  • 万方数据

网络安全技术专题讲座(二)第3讲 密码协议研究与发展

Study and Development on Cryptographic Protocol

苑博奥 1刘军 2周海刚2
扫码查看

作者信息

  • 1. 解放军理工大学指挥信息系统学院研究生2队,江苏南京210007
  • 2. 解放军理工大学指挥信息系统学院
  • 折叠

摘要

密码协议为网络中信息共享提供基础的安全环境,对保证网络被安全可靠的使用具有重要作用.文章阐述了密码协议的概念,分析了密码协议设计与分析所面临的困境,介绍了密码协议计算可靠和面向协议实现的形式化分析方法,对密码协议的研究与发展情况进行了归纳总结.

关键词

密码协议/计算可靠/协议实现/形式化分析

引用本文复制引用

出版年

2017
军事通信技术
中国人民解放军理工大学通信工程学院

军事通信技术

影响因子：0.238
ISSN：
被引量1
参考文献量10
段落导航相关论文