【摘 要】
：
如何构造安全的密钥协商协议是信息安全领域富有挑战性的问题之一．然而目前多数安全协议只能达到“启发式”安全，协议的安全性假设和效率也不够理想．针对这些问题，文中提出了一种
【机 构】
：
上海交通大学信息安全工程学院,上海交通大学计算机科学与工程系
【基金项目】
：
本课题得到国家“八六三”高技术研究发展计划项目基金（2006AA012405）资助.
论文部分内容阅读
如何构造安全的密钥协商协议是信息安全领域富有挑战性的问题之一．然而目前多数安全协议只能达到“启发式”安全，协议的安全性假设和效率也不够理想．针对这些问题，文中提出了一种新的两轮双方认证密钥协商协议，通过分析新掷议的安全属性指出了构造双方认证密钥协商的一些原则．随后，在eCK模型下对新协议进行了严格的形式化证明，根据相关文献，eCK模型是目前关于双方密钥协商协议的安全程度最高的形式化模型．性能分析表明，新协议较好地平衡了计算量和安全性假设这两个协议评价指标．另外，为了实现新协议的密钥确认属性，文中提出了一种
其他文献
基于覆盖率的错误定位（Coverage Based Fault Localization，CBFI。）方法旨在通过分析程序执行的结果预测错误信息，是一种行之有效的错误定位方法．然而，CBFI。方法中代码覆盖率的独
2014年我国赖氨酸市场仍处于盈亏边缘，行情呈震荡走势。我国赖氨酸产能集中释放的利空影响延续到2014年．在赖氨酸出口量的增长仍改变不了国内赖氨酸产能过剩、赖氨酸产业严重分
2008年我国汽车产量达到930多万辆,虽然已是世界汽车产销大国,但还不是一个汽车强国。由于自主开发能力弱,一些核心技术为汽车跨国集团所掌控,外商近些年来向汽车生产、营销
性能问题是阻碍DAA推广和应用的首要问题.为了进一步优化该协议的性能,找出性能瓶颈,定量地分析和测量DAA中各个实体的性能负荷分布是一个十分重要且必须的工作.文中详细分析了DAA的协议流程,提出了以机器周期为基本性能单位的性能负荷分布测量方法——归一化统计法(Normalized Statistics,NS).该方法需要首先分析DAA协议中的各种复杂运算,针对不同的运算选用当前性能较好的算法,然后
基于圆的摄像机标定有着无可比拟的优势.目前,虽有文献证明了圆在反射折射摄像机下的像是一条四次曲线,但由于存在遮挡,仅仅部分封闭曲线在像平面上是可见的,且通过其可见部分无法拟合圆像的方程,进而无法标定摄像机参数.因此,当摄像机位率为1且斜率为0时,作者提出了一种抛物反射折射圆像的拟合方法,为研究基于圆的摄像机标定算法奠定了基础.首先,推导出了抛物反射折射圆像需要满足的条件;其次,在这些条件基础上提出
国产大型风电机组研发滞后“我国风电机组的研发是20世纪70年代末起步的，但当时不具备国产化的能力。进入80年代，才真正开始发展，可生产的也只是离网型的单机小型风力发电机，主要
将160只21日龄的雄性肉鸡饲养在24±1℃的环境温度下。从试验的第21d开始,试验鸡被随机分为4组,饲喂不同的日粮:日粮中添加8%的棕榈油(PO组);日粮中添加8%的大豆油(SO组);日
由于图像隐写所引起的各种统计特征变化是不确定的,文中将Vague集相似度量引入隐写系统的安全性评价中.从图像的一阶统计特征和二阶统计特征两方面,定义了基于载体数据及载密数据相关Vague集相似度量的隐写系统一阶和二阶安全性测度,证明了该安全性测度的有界性,对称性和一致性.在假设图像满足独立同分布的条件下,证明了所提出的两种安全性测度是等价的.结果表明,所提出的二阶安全性比一阶安全性能更好地反映隐写
1 基本生产情况 10月份, 据我部重点跟踪的180家饲料企业统计数据显示,饲料总产量同比增长8.9%,环比下降1.7%. 从饲料品种看,猪饲料、肉禽饲料、反刍饲料环比分别增长0.4%、9
2016 年8 月, 主要饲料原料价格环比中,玉米、豆粕、棉粕、菜粕、麦麸、鱼粉、磷酸氢钙均出现不同幅度下降,在维生素类产品价格环比中,VA增长,VD增长,VE增长;氨基酸类产品产