两个eCK模型下可证安全的密钥交换协议分析

来源 :武汉大学学报(理学版) | 被引量 : 0次 | 上传用户:crr0808
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于eCK(extended Canetti-Krawczyk)模型的定义,针对eCK模型下证明安全的两个密钥交换协议进行了分析.结果显示两个密钥交换协议在eCK模型中都是不安全的,其中SAKA(secure authenticated key agree-ment)协议不能抵抗临时密钥泄露攻击也不能抵抗长期密钥泄露攻击,并且不具有前向安全性.另一个SHY(Shi-Huang-Yang)协议不能抵抗两方临时密钥同时泄露的攻击. Based on the definition of eCK (extended Canetti-Krawczyk) model, two key exchange protocols that prove security in eCK model are analyzed.The results show that both key exchange protocols are insecure in eCK model, among which SAKA ( (SHA) protocol can not resist the temporary key compromise and can not resist the long-term key leak attack, and does not have the forward security. Another SHY (Shi-Huang-Yang) protocol can not resist the two-party temporary key At the same time leaked the attack.
其他文献
高层声音:温家宝总理政府工作报告摘要国务院总理温家宝3月5日在十一届全国人大二次会议上作政府工作报告。 Top Voice: Premier Wen Jiabao’s Report on the Work of the
应用T213数值预报产品资料和基本气象资料,对发生在内蒙古春季的久旱转雨天气过程进行了气候背景、成因和降水的转折性特征的诊断分析.分析表明,中纬度低槽与青藏高原低槽的建
会议
目的:观察含羟基喜树碱(HCPT)联合治疗方案治疗晚期乳腺癌14例. 方法:自1997年8月~1999年5月我科采用羟基喜树碱(HCPT)、阿霉素(ADM)、5-氟脲嘧啶(5-FU)组成AHF方案治疗晚
会议
本文从500hPa环流、太平洋海表温度、季风、OLR等方面,针台风"珍珠"生成位置偏西、北上转向型移动路径、登陆偏早的特点进行分析,发现造成这些特点原因主要有三方面:(1)赤道太
本文对肿瘤诱导分化及凋亡疗法进行了研究。文章围绕凋亡疗法的基础理论、诱导肿瘤细胞凋亡的途径、砷剂诱导肿瘤细胞凋亡的应用、肿瘤诱导分化和凋亡疗法的前景等进行了论述
本文对激素抵抗性前列腺癌的治疗进行了探讨。文章围绕激素抵抗性前列腺癌的概念、激素抵抗性前列腺癌的机制、激素抵抗性前列腺癌的治疗、预防激素抵抗性前列腺癌的发生等进
伴随寒潮天气的强降温,短时性大风天气,给农业生产、工业生产,人民群众的日常生活生活带来一定的不便与不适,如何预报好关于强降温及降水的天气是一个重要的预报内容之一.本文运
会议
本文对异基因造血干细胞移植的相关问题进行了探讨。文章围绕骨髓移植和外周血干细胞移植、骨髓清除性和骨髓非清除性预处理方案、HLA相合无关供体(MUD)移植和HLA不全相合亲
本文对肝癌的药物治疗进行了探讨。文章围绕肝癌的发病情况、现有治疗方法的评价、肝癌全身化疗的回顾、新药治疗肝癌等进行了论述。
巴里坤自治县,拔海1,540——3,000米,四周为天山环绕的平坦草原.气候干燥,常年少雨,无霜期120——140天,到处生长着品南优良的天然饲草,适宜于养马业.在富饶美丽的巴里坤草