未找到相关数据
基于口令的安全协议的模块化设计与分析
被引：28
作者：
冯登国
陈伟东
机构：
[1] 中国科学院软件研究所信息安全国家重点实验室
来源：
关键词：
安全协议;
弱计算不可分辨;
可证明安全性;
随机预言模型;
标准模型;
D O I：
暂无
中图分类号：
TP393.04 [];
TN918.1 [理论];
学科分类号：
083705 [职业安全健康];
摘要：
首先在分析基于口令的安全协议研究现状的基础上,提出了“弱计算不可分辨”概念,并以此为基础系统研究了基于口令的安全协议的理论基础—“弱伪随机性”理论;其次,以“弱伪随机性”理论为核心,建立了基于口令的安全协议的模块化设计与分析理论;最后,利用所建立的基于口令的安全协议的模块化设计与分析理论,设计了两类基于口令的安全协议,即基于口令的会话密钥分配协议和口令更换协议,这两类协议的最大特点是:实现效率高,具有可证明安全性,满足前向安全性.
引用
收藏
页码：223 / 237
页数：15
相关论文