【摘 要】
：
随着网络的普及以及电子商务和电子政务的蓬勃兴起,安全协议变得越来越重要,确保安全协议的安全性已经成为一项重要的研究课题。安全协议分析是一个很难解决的问题,20年来为
论文部分内容阅读
随着网络的普及以及电子商务和电子政务的蓬勃兴起,安全协议变得越来越重要,确保安全协议的安全性已经成为一项重要的研究课题。安全协议分析是一个很难解决的问题,20年来为了应对这一挑战,科学家们投入了大量的精力。在已有的理论和方法中,形式化分析方法的成果比较突出,其发展前景被专家们普遍看好。 串空间(Strand Space)模型是由Fabrega、Herzog和Guttman三人提出的一种形式化方法,它使用一种结点间存在因果关系的有向图来表示协议的运行。串空间模型吸收了前人的研究成果,是分析安全协议的一种实用、直观和严格的形式化方法。它的优点主要表现在:(1)分析过程简单,减少了状态爆炸;(2)形式语言规范化,避免了基于知识和信念的逻辑方法(如:BAN逻辑、Kailar逻辑等)中由于形式化的不规范引起的问题。 本文以串空间理论作为研究基础,首先从语义上研究串空间模型,分析了可追究性逻辑,针对Kailar逻辑表示可追究性的语义不明确的问题,给出了基于串空间模型的可追究性逻辑的语义表示,该语义表示能为可追究性逻辑提供一个清晰简洁的计算模型。其次对串空间模型中的认证性测试方法作了进一步讨论,指出了其中的缺陷并进行了改进。Guttman等人提出的认证性测试方法不能分析类型错误攻击,本文在分析
其他文献
蛋白质空间结构的预测和分析有着非常熏要的生物学意义。随着生物信息学技术的高速发展，蛋白质序列数据库的数据积累的速度越来越快，与此同时，蛋白质结构的测定远远落后于蛋白质
随着分布计算和网络技术的不断发展，传统的数据库技术已越来越不能满足数据共享和互操作的需要。同时，已有的数据库系统又不可能全部丢弃，因而研制能同时访问和处理来自多个数据
现有的入侵检测系统存在着误警率、漏警率高、海量信息难以分析和缺少主动阻断攻击行为的手段等缺陷,造成这种现象的重要原因在于数据来源的单一和分析的层次过低,本文就此提
随着互联网Internet的迅速发展以及各种网络应用技术的出现,网络信息安全问题也随之变得越来越重要。 公钥基础设施(Public Key Infrastructure,简称PKI)是目前网络安全建
本文提出了面向最终系统集成的"MVC模式的轻量级框架"的复用技术,是对现有各种管理信息系统与部件研究的基础上总结出来的基于B/S模式的软件框架,在国内外的研究中尚处于兴起
本文围绕如何提高网络计算环境资源共享效率这一问题，开展了以下研究工作： 本文论述了网络计算环境的发展与研究方向。本文首先对目前世界上主要的网格和P2P项目进行了总结；
随着Internet技术的迅猛发展和电子商务的日渐频繁,各种各样的新兴技术都不断应用于电子商务领域。由于Web服务是“资源共享、交互通信、协作研究、协同求解”的,受到广泛的
网格入口软件是指对网格资源和服务的内容进行整合显示的一种Web应用。网格入口软件屏蔽了网格资源复杂的内部细节,使用户能通过一个熟悉的用户界面、一致的操作方式和高效方
乳化液是液压支架和液压支柱的传动介质,在液压系统中起血液作用。《煤矿安全规程》规定乳化液的浓度一般在3%～5%之间。浓度过低,会大大缩短设备使用寿命,容易引起液压系统事
在当今社会中，公共安全已经成为国家、社会、各级政府工作关心的重点，同时也是日常工作中的重中之重。当公共安全事件突发时，突发事件现场的实时情况，上级指挥部门和政府对各相关部门和下级单位传达的应急命令必须在第一时间送达。针对突发的公共安全信息下达的命令和应急措施是否能快速、及时、准确的送达到下级的相关部门，是迅速处理和控制突发的公共安全事件的关键。如果在突发的公共安全事件中，事件的相关及时信息和应急预