论文部分内容阅读
作为安全协议形式化建模方法之一的多集重写（MSR）模型虽然提供了基本的理论框架,但并不完善。针对其在类型攻击检测方面的不足,对原模型进行改进,扩展类型内容,丰富推演规则,使其能检测特定类型的攻击。给出安全属性的描述,并用实例验证扩展后的MSR模型中交换协议的非否认性和公平性。
一种对MSR模型的新扩展
【摘 要】
：
作为安全协议形式化建模方法之一的多集重写（MSR）模型虽然提供了基本的理论框架,但并不完善。针对其在类型攻击检测方面的不足,对原模型进行改进,扩展类型内容,丰富推演规则,使
【机 构】
：
信息工程大学信息工程学院
【出 处】
：
计算机工程
【发表日期】
：
2010年8期
其他文献
"飞地经济"在我国有遍地开花之势。作为区域合作和协同发展的一种新模式,"飞地经济"将政治意义上的"飞地"概念引入经济领域——经济社会发达的"飞出地"通过资金、人才和制度
为使中性束注入器各子系统在相应时钟控制下协调工作，设计一套中性束注入器（NBI）测试台的中央定时系统。采用VC＋＋6．0开发上位机人机交互界面，实现对下位机配置和监控。下位机基于QNX
1背景介绍某供电公司辖区内1号变压器自9月1日起每日线损超大,稳定在100 k Wh左右。由于线损超大发生地点具有范围广、线路复杂、作业半径大等情况,排查效率较低。基于此,本
超白玻璃是一种低铁高透过率的玻璃,目前在很多领域都得到了广泛应用。结合在熔制超白玻璃的过程中出现的着色现象,对其着色原因进行分析,指出在超白玻璃的生产过程中,当熔制
目的观察比较半髋置换与DHS治疗老年转子间骨折的临床疗效,总结其临床治疗经验和临床意义。方法选取2007年12月-2011年12月收治的老年转子间骨折患者118例为研究对象,按照数
RheeHS等人（Computer Standards＆ Interfaces，2009，No．1）提出的协议使用移动设备代替智能卡记忆数据降低风险和成本，但该协议仍存在一些不足。针对该问题，基于Chan—Cheng攻击案例，指
为了解全国茶叶主产区砖茶中氟、铝、钙、镁、铜、锌、铁、锰等主要元素的含量水平，在内蒙、甘肃、新疆、青海、四川等习惯饮用砖茶的地区收集了33份茶叶主产区砖茶样品，用燃烧
在现代经济中,世界各国金融部门的规模大小和扩张速度存在较大的差异。如何找到适应某个经济体的最优金融部门规模,不仅是一个颇具争议的学术议题,更具有很强的政策含义。金