论文部分内容阅读
对新鲜性进行了细粒度的定义,并将新鲜性和秘密性结合,完善了基于新鲜性原则的密码协议分析方法。区分了不同主体产生的新鲜性标识符的可信任新鲜性,并对私有秘密和共享秘密给予了更准确的解释。改进后的基于新鲜性原则的密码协议分析方法能够分析并发现Helsinki协议中存在的微妙的安全缺陷。
基于细粒度新鲜性的密码协议分析
【摘 要】
：
对新鲜性进行了细粒度的定义,并将新鲜性和秘密性结合,完善了基于新鲜性原则的密码协议分析方法。区分了不同主体产生的新鲜性标识符的可信任新鲜性,并对私有秘密和共享秘密
【机 构】
：
上海交通大学计算机科学与工程系
【出 处】
：
北京大学学报(自然科学版)
【发表日期】
：
2010年5期
其他文献
当前"公司+农户"组织运行存在困境与问题.公司与农户博弈的结果是难以形成合作的纳什均衡,因而难以建立长期稳定的合作关系.其深层原因在于这种组织自身的制度缺陷.农业产业
为有效压减严重过剩的海洋捕捞强度,保护海洋渔业资源和生态环境,修复振兴东海渔场,浙江省决定从2014年开始,用3年左右时间,开展渔场“一打三整治”（依法打击涉渔“三无”船舶
考虑有轨电车充电方式不同造成的运用车数量差异,文章通过案例计算集中充电及非集中充电模式下现代有轨电车运用车需求数量,分析两者的量化不经济指标,提出相应的运用车配属
北京大学第三医院日前隆重庆祝该院骨科成立50周年，中华医学会骨科分会副主任委员、北京大学第三医院院长陈仲强教授介绍，目前中国骨科学术水平正加紧与国际水平接轨。
经济双循环是党和国家根据国内外复杂政治经济形势而提出的新发展格局,这一战略一方面给中小企业创造良好的发展机会,新消费需求扩容增效以及新一轮基建将给中小企业尤其是科
结识苏中电池，始于2008年10月份第26届中国江苏国际自行车、电动车及零部件展会。展会现场，其展台的精心布局与设计造型的大气不禁让观者惊叹，显示出一种后来者雄心勃勃的气概与
建设国家创新体系,促进技术创新,是世界各国关心的重要问题,技术创新已成为国际竞争中主导成败的关键因素.利用财政政策推动技术创新,成为当代各国政府提高综合国力的重要手
<正>以下是美国FDA唯一批准使用的养殖用药说明:1.只有使用FDA批准的抗生素才可以出口到美国市场。未被检测出的药品不代表这些抗生素合法。2.抗生素只有在FDA的批准下可以使
期刊
以成品SBS改性沥青与阿尔巴尼亚岩沥青进行高模量沥青的制备,通过复合改性工艺以期达到均衡高模量沥青高低温使用性能的目的。对制备完成的高模量沥青进行一系列的试验,对其