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

摘要

Aiming at the redundancy of Just Fast Keying(JFKi) and the absence of its forma proof, a new Lightly Just Fast Keying(LJFKi) is proposed. Through the contrast analysis, it is found that the protocol proved is one-third shorter than the natural protocol, which has higher communication efficiency and is more convenient for the sensitive network to communication payload. The proposed protocol can realize secure session ideal function and afford Universally Composable(UC) security by proving with universally composable secure model.%针对快速密钥交换协议JFKi信息冗余及缺乏形式化证明的问题,提出一种轻量级快速密钥交互协议LJFKi.通过对比分析,发现所提协议的消息长度较原有协议减少1/3,具有较高的通信效率,更适用于对通信负载比较敏感的网络.利用通用可组合安全模型证明该协议能够实现安会会话理想函数,具有通用可组合安全性.