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

• 作者: 刘军 周海刚 苑博奥
• 来源期刊: 军事通信技术
• 学科: 工学
• 关键词: 密码协议 计算可靠 协议实现 形式化分析
• 年，卷（期）: 2017,（1）
• 所属期刊栏目: 网络安全技术专题讲座(二)
• 页码范围: 90-96
• 页数: 7页
• 分类号: TN915.08
• 语种: 中文
• DOI: 10.16464/j.cnki.cn32-1289.2017.01.018

摘要

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