论文部分内容阅读
如何构造安全的密钥协商协议是信息安全领域富有挑战性的问题之一.目前安全协议只能达到"启发式"安全,协议的安全假设也不够理想.针对这一问题,提出了基于计算性假设(CDH)的三方认证密钥协商协议,并运用陷门测试定理形式化地证明该协议在eCK模型下是安全的,更好地支持了敌手的询问.
eCK模型下的密钥协商
【摘 要】
：
如何构造安全的密钥协商协议是信息安全领域富有挑战性的问题之一.目前安全协议只能达到"启发式"安全,协议的安全假设也不够理想.针对这一问题,提出了基于计算性假设(CDH)的三方认证密钥协商协议,并运用陷门测试定理形式化地证明该协议在eCK模型下是安全的,更好地支持了敌手的询问.
【机 构】
：
东北大学计算中心 沈阳 110819 东北大学软件学院 沈阳 110819
【出 处】
：
2013年全国理论计算机科学学术年会
【发表日期】
：
2013年4期
其他文献
杜素凤同志是内蒙古北方重工业集团有限公司档案处处长，参加工作18年特别是从事档案工作以来，兢兢业业，甘于奉献，勇于创新，凭着强烈的事业心和责任感，把档案工作作为一项事业来做，在
为进一步推动2010年的各项工作，谋求新的更大的发展，中船重工集团公司技术档案馆近日召开了2010年工作会议。会议认真学习贯彻了中船重工集团公司第十一次工作会议精神，分析了档
为了进一步减少无线传感器网络的能量损耗和延迟时间并且有效延长节点生存时间,提出一种改进的量子行为粒子群（quantum based particle swarm optimization,QPSO）优化算法,并将
医院评审的目的和意义,在于通过等级医院评审,不断促进医院加强管理,促使医院不断提升、强化医疗质量和服务水平,为广大人民群众提供优质的医疗服务。医院等级评审是卫生行政
针对非线性系统在线学习的效率问题,提出了一种基于QR分解的增量式核判别分析法。该算法充分利用基于QR分解的核判别分析法的先降维后提取特征的思想,将核空间映射到低维空间进行计算,减少了构造核矩阵的计算量,降低了核矩阵的存储空间。同时引入增量计算的思想,有效地解决了在线学习中冗余计算的问题。在TE过程数据和ORL人脸库上的仿真实验证明了该算法在特征提取上的有效性,其相比批量式算法有更高的效率优势。
高校个人科技成果档案是教职工在教学、科研、管理等实践活动中形成的真实记录，它既反映了高校的学术科研水平，也是国家、学校和社会的宝贵财富。从高校档案馆（室）收藏的现状来看
高等学校档案是记录高等学校教学科研、人才培养、社会服务、基本建设、党政管理等实践活动的极具价值的历史凭证，它不仅记录了学校的发展历程，也记录了学校发展过程中成功的经
随着现代信息技术的快速发展，电子文件越来越广泛、深入地渗透和影响着人类社会生活的各个方面，其对社会生活的真切反映和普遍联系所造就的内在质量，使得电子文件成为现代社会信
档案信息化管理是档案工作适应社会信息化发展的必然要求，是全面提升档案工作为社会服务能力的必然选择。加强档案管理信息化建设是档案工作的重中之重，是实现档案工作规范化、