【摘 要】
：
形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段.安全协议的形式化分析正成为国际上的研究热点.用于安全协议分析的逻辑需要对入侵者进行形
论文部分内容阅读
形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段.安全协议的形式化分析正成为国际上的研究热点.用于安全协议分析的逻辑需要对入侵者进行形式化建模,用于刻画入侵者能力.我们运用一种基于算法知识概念的逻辑分析安全协议,入侵者假定使用算法来计算其知识,入侵者的能力也通过对其所使用的算法作适当的限制来获得.运用模型检测器SPIN对TMN协议进行分析,实验结果证明了此方法的有效性,可方便地用于其它网络安全协议验证.
其他文献
由双组份防渗漏胶结粉+纳米(复合)防水胶组成的J981克漏宝,使用时按规定的比例调拌、施工,形成一种下柔上刚二个层次的高等级防水结构.它避免单一刚性防水材料抵抗变形能力差
我所经过几年的研制、开发,开发出"天策"牌JC克漏王系列绿色环保型防水产品,该产品具有无毒、无味、不挥发、不燃烧、对皮肤无刺激性,集结构功能和防水、抗渗于一身的特点.本
混凝土是一种多孔胶凝人造石材,属刚性体,主要特点抗压强度高、抗拉强度低、延伸率微小、易产生收缩裂缝.混凝土工程裂缝最常见出现问题是由于收缩变形受到约束引发的收缩裂
结合平顶山佳田大厦地下室防水工程实例,详细介绍了C35S8防水混凝土、三元乙丙橡胶防水卷材、施工缝、后浇带的防水作法。
网络蠕虫一直是整个互联网面临的最重大的威胁之一,而网络蠕虫事件的应急处理,则始终是网络安全保障工作需要面临的一个重要问题.本文通过对当今网络蠕虫的特点以及潜在发展
随着互联网的普及和发展,互联网的应用也发生着变革,从过去单纯的信息发布逐步过渡到我们现实世界的很多业务迁移到互联网.与此同时,针对当前各类网上业务的犯罪活动也日益突
本文首先介绍了垃圾邮件的特征及在反垃圾邮件产品中流行的一些技术,然后阐述了根据此类产品的特点设计的适合绝大多数产品的检测方案,最后介绍了笔者开发的一套有效的检测工
全国农垦系统先进人物报告团今年六月在首都作了九场报告,引起人们强烈的共鸣。广大群众称赞报告团是“传播精神文明的光荣使者”,认为他们的报告是“人生价值的教科书”、
文章首先对网络入侵检测系统的三大功能模块进行了分析,从基本功能、安全功能、技术性能、可扩展性四个方面构建了NIDS的测试技术指标体系,提出测试过程中攻击工具的选取方法
2005年,我部参加了一次联合军事演习,担负着多个参演部队空地勤人员的卫勤保障任务。在时间紧、任务重、要求标准高的前提下,我们认真谋划,周密组织,精心准备,狠抓卫勤保障