论文部分内容阅读
从形式化处理的角度出发,首先分析了跨域C2C-PAKE协议应该具有的安全属性,然后给出了一个适合于跨域C2C-PAKE协议的安全模型,并推广了单服务器C2C-PAKE协议的通用协议,进而给出了一个跨域C2C-PAKE协议的通用构造,并在新的模型中证明了其安全性。
跨域基于口令认证的密钥交换协议的安全模型
【摘 要】
：
从形式化处理的角度出发,首先分析了跨域C2C-PAKE协议应该具有的安全属性,然后给出了一个适合于跨域C2C-PAKE协议的安全模型,并推广了单服务器C2C-PAKE协议的通用协议,进而给出了一个跨域C2C-PAKE协议的通用构造,并在新的模型中证明了其安全性。
【机 构】
：
中国科学院研究生院国家计算机网络入侵防范中心,中国科学院研究生院信息安全国家重点实验室
【出 处】
：
通信学报
【发表日期】
：
2008年04期
其他文献
无线传感器网络的通信链路需要通过可靠传输机制来满足应用需求。在指出传统的MAC层协议无法提供能量高效的可靠传输后,提出了一种以效率为中心的可靠通信机制——分组确认机制。围绕着通信链路的EPB这一指标,采用数学手段对所提出的机制与传统的机制进行性能比较,从理论上证明了该机制的节能效果,并且该机制通过串音技术减少了传感器节点的缓存需求。最后在Micaz节点上测试了分组确认机制的性能,结果表明该机制更适
本文以海丝特的人生历程"罪-罚-赎"为主线,从概念隐喻视角解读海丝特人物形象。研究表明:霍桑首先通过一系列微喻构建"罪是物体"的博喻描写海丝特的"罪";其次借助"红字""邢台
针对使用了MIMO传输技术的单小区下行移动通信系统,在基站只能以有限个数据速率下传数据给移动台的条件下,给出了使得每个移动台接收信噪比达到最大的多用户线性疏散码所对应的组合优化问题,并给出求解该组合优化问题的低复杂度次最优算法。所给出的线性疏散码的设计方案,克服了前人连续数据传输速率的限制,更加接近实际系统。仿真结果表明,此算法性能较前人算法有所改进。
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
由于能源在经济社会发展中的特殊战略地位以及其在经济发展过程中起到的重要作用，社会对能源的需求会受到各种错综复杂的因素影响，而这决定着能源的需求。本文首先从能源消费总
9月3日,民政部召开'不忘初心、牢记使命'主题教育总结大会,回顾部主题教育工作的推进过程,总结成效和经验,研究部署进一步巩固深化主题教育成果,持续推进民政部直属
2019年8月16日,历时3个半月的南海伏季休渔期结束,正式开渔,各地数万艘休渔渔船将逐步恢复生产作业,耕海牧渔。与此同时,大量渔船集中驶离渔港出海作业,船舶通航密度激增,海
目的：研制一套快速、安全、高效作业的＂三防＂伤病员洗消系统。方法：整个系统采用挂车与帐篷的技术形式,通过系统功能特点与分析,运用系统化、模块化人机工效学设计原理,在有限的
以0.45μm混合纤维素酯膜为支载膜,丙烯酰胺为功能单体,N,N’-亚甲基双丙烯酰胺为交联剂,通过表面印迹法制备得到牛血清白蛋白分子印迹膜.实验对制备分子印迹膜所用模板分子