论文部分内容阅读
针对快速密钥交换协议JFKi信息冗余及缺乏形式化证明的问题,提出一种轻量级快速密钥交互协议LJFKi。通过对比分析,发现所提协议的消息长度较原有协议减少1/3,具有较高的通信效率,更适用于对通信负载比较敏感的网络。利用通用可组合安全模型证明该协议能够实现安全会话理想函数,具有通用可组合安全性。
一种通用可组合安全的快速密钥交换协议
【摘 要】
：
针对快速密钥交换协议JFKi信息冗余及缺乏形式化证明的问题,提出一种轻量级快速密钥交互协议LJFKi。通过对比分析,发现所提协议的消息长度较原有协议减少1/3,具有较高的通信
【机 构】
：
河南工业大学信息科学与工程学院
【出 处】
：
计算机工程
【发表日期】
：
2011年20期
其他文献
最近几年各种真人秀蓬勃发展,各种内容的电视节目不断涌入受众的视线,而"伪娘"这个词也是在这个时代开始并发展起来,这些层出不穷日益出新的电视节目对我们我们青少年尤其是
目的探讨烟雾吸入性肺损伤联合损害性机械通气建立动物ARDS模型,并观察早期应用低潮气量通气联合ECMO治疗羊ARDS模型的效果。方法第一部分建模实验:选取健康雌性未孕小尾寒羊
目的:证实补虚化瘀法方可通过调节Th17的平衡,改善气虚血瘀证的肝性骨营养不良。方法:将肝性骨营养不良患者随机分为治疗组(15例)、对照组(15例)。治疗组给予补虚化瘀方药,对
目的:阐述防耐药突变浓度(MPC)和耐药突变选择窗理论(MSW)及该理论最新研究进展。方法:查阅近10年来国内外相关文献资料进行整理归纳。结果与结论:通过近年报道的体内外实验
<正>在干旱或其它逆境条件下,植物产生逆境激素ABA,促进气孔的关闭,从而控制水分的蒸腾,提高植物的抗旱性。同时,ABA也可以调控植物的生长发育,尤其在干旱条件下调控植物根的
为比较结构化信息和句法分析器对树核函数的关系抽取的作用，提出一种基于近似随机测试语义关系比较方法。对于2种不同配置关系的抽取结果，采用随机标号互换的方法重复产生样本，
本报讯 (记者 吕丽霞)市委常委、常务副市长杨长亚在9月13日召开的全市事业单位岗位设置管理实施工作会上要求，要周密部署，扎实安排，努力在11月底前基本完成全市事业单位岗位设
报纸