【摘 要】
：
如何构造安全的密钥协商协议是信息安全领域富有挑战性的问题之一。然而目前多数安全协议只能达到“启发式”安全,协议的安全性假设和效率也不够理想。针对这些问题,本文
【机 构】
：
Shanghai Jiao Tong University,School of Information Security Engineering.Shanghai,200240
论文部分内容阅读
如何构造安全的密钥协商协议是信息安全领域富有挑战性的问题之一。然而目前多数安全协议只能达到“启发式”安全,协议的安全性假设和效率也不够理想。针对这些问题,本文提出了一种新的两轮双方认证密钥协商协议,通过分析新协议结构指出了构造双方认证密钥协商的一些原则。随后,在eCK模型下对新协议进行了严格的形式化证明,根据相关文献,eCK模型是目前关于密钥协商协议的安全程度最高的形式化模型。性能分析表明,新协议较好地平衡了计算量和安全性假设这两个协议评价指标。另外,为了实现新协议的密钥确认属性,本文提出了一种三轮变体协议。
其他文献
近年以来，笔者一直坚持在江南的部分乡镇做实地考察，在田野中获得了一些口碑传说，却常常困扰于田野访谈与地方历史文献的“对接”。江南的地方文献多收藏于公藏机
本文以《通济堰规》为例，试图对宋代农田水利规章的内容、结构及其形定过程略作分析，探究其根源，以期进一步明晰传统中国农田水利规章的实质：它究竟是官法，还是民约？
位于浙南深山的泰顺，就是一个“具有商品性较大的特征”的山区。通过2006年、2007年近50个村庄的调查，对泰顺山区的商品经济的基本内容、重要性及其多种表现，留下了较深刻的
温州文化其“局”不大，但呈现多样化的面貌，在传承创新中不断得以发展，属于中华文化的一部分，有其共性，也有个性，区域特色鲜明，基本特点是：平民文化，集群运作，俗中尚雅。
虽然温州三面环山，在地理环境上有相对孤立的局限性，但是恰恰这样的地理环境使温州可以发展帆船航运，在海上交通方面发挥出自己的优势，特别是利用航海便利发展与台湾的航运关
本文主要利用相邻像素对的差值和奇偶性关系，提出了一种基于支持向量机的快速有效的空域LSB隐写分析方法。通过实验发现图像相邻像素对的差值普遍较小，且随着差值的增大，相
NTRU算法是一种基于环的公开密钥系统,其安全性是基于在维数格中寻找短向量的困难性.与RSA和ECIES (ECC)等公钥算法相比,NTRU在速度上有着明显的优势.NTRU算法主要步骤是
随着数据挖掘的应用不断深入，隐私保护成为数据挖掘和知识发现中的一个重要问题。本文基于Shamir秘密共享技术对水平分布的隐私保护关联规则数据挖掘问题进行了研究，给出了
自2001年Boneh与Franklin提出了第一个实用的基于身份的加密方案(IBE)以来,基于身份的密码体制应用越来越广泛。但是,如何确保私钥的安全分发一直是IBE一个较难解决的问
在传感器网络中，传感器节点极易被捕获，敌方可以利用这些被捕获的节点注入虚假消息，这些虚假信息不仅会消耗传感器网络中大量能量，最重要的是会导致观测者给出错误的判断。本