基于口令的安全协议的模块化设计与分析

摘要：

首先在分析基于口令的安全协议研究现状的基础上, 提出了"弱计算不可分辨"概念, 并以此为基础系统研究了基于口令的安全协议的理论基础-"弱伪随机性"理论; 其次, 以"弱伪随机性"理论为核心, 建立了基于口令的安全协议的模块化设计与分析理论; 最后, 利用所建立的基于口令的安全协议的模块化设计与分析理论, 设计了两类基于口令的安全协议, 即基于口令的会话密钥分配协议和口令更换协议, 这两类协议的最大特点是: 实现效率高, 具有可证明安全性, 满足前向安全性.

关键词：安全协议、弱计算不可分辨、可证明安全性、随机预言模型、标准模型

所属期刊栏目：37

分类号：O1(数学)

资助基金：国家自然科学基金60025205;60673083

在线出版日期：2007-10-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共15页

页码：223-237