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

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

基于SSL协议的智能电视安全支付方案

通过对SSL协议的分析与讨论,在SSL协议的握手阶段的消息字段添加一个选择是否使用上一次会话密钥字段,以此减少握手阶段产生密钥的时间和提高电视支付的速度。提出采用简单的映射关系来保护Java层的密码数字以及将USB Key移动设备的身份认证支付模式应用于智能电视支付,大大地提高了智能电视支付的安全性。