一种通用可组合安全的快速密钥交换协议

摘要：

针对快速密钥交换协议JFKi信息冗余及缺乏形式化证明的问题,提出一种轻量级快速密钥交互协议LJFKi.通过对比分析,发现所提协议的消息长度较原有协议减少1/3,具有较高的通信效率,更适用于对通信负载比较敏感的网络.利用通用可组合安全模型证明该协议能够实现安会会话理想函数,具有通用可组合安全性.

关键词：IPSec协议、协议安全性、协议分析、快速密钥交换协议、通用可组合安全性

所属期刊栏目：37

分类号：TP393.08(计算技术、计算机技术)

资助基金：河南省重点科技攻关计划基金资助项目072102210029;河南工业大学高层次人才基金资助项目2007BS019;河南省青年骨干教师基金

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

页数：共3页

页码：94-96