【摘 要】
：
网络时代的今天,多种服务于互联网应用的网络安全协议纷纷诞生;由安全协议设计上的漏洞引发的安全问题也越来越引起人们的重视。复杂的网络环境使攻击者可以利用通信协议自身
论文部分内容阅读
网络时代的今天,多种服务于互联网应用的网络安全协议纷纷诞生;由安全协议设计上的漏洞引发的安全问题也越来越引起人们的重视。复杂的网络环境使攻击者可以利用通信协议自身的缺陷来实施各种各样的攻击,也给确保协议的安全性带来较大难度。安全协议形式化分析技术的提出,将协议的安全性问题转化为数学问题,采用数学证明的手段来代替直觉的判定,近年来已逐步被公认为解决安全问题的合理方案。国内外先后出现了多种模型和研究方法。本文主要从漏洞分析的角度,对安全协议形式化方法做了一些探索。首先通过对安全协议缺陷的观察和整理,从形式化角度将所有的安全问题归纳为六大漏洞,即身份认证漏洞、假冒攻击漏洞、保密数据泄漏漏洞、新鲜性漏洞、类型攻击漏洞和攻击者不当得利漏洞。能否完善解决这六大漏洞的检测与判定,可作为安全协议形式化模型是否完备的参考标准。接着,通过对“一般安全协议模型(GSPM)”的增强与完善,将新鲜性漏洞和类型攻击漏洞的验证引入该模型,并分别给予实例研究。一般安全协议模型本身已是较为成熟的一个安全协议形式化模型,但由于缺乏时间上的语义,并不能解决新鲜性漏洞问题。另一方面,由于类型
其他文献
随着数字图像采集技术和处理技术的飞速发展，数字图像测量受到了人们的普遍关注，并已经广泛地用于工业、交通、医疗、军事等领域。在图像测量领域，图像质量是影响测量精度的一个
现代心电图设备主要分为心电床边监护系统和Holter系统,囊括了重症监护、早期预防、现场诊断等常规领域。但是,这些设备不适合对体积、重量、功耗,以及成本敏感的场合。本课
云计算是目前最主流的提供网络服务的方式，它主要是通过虚拟化技术，以因特网为平台，向用户提供一个灵活的、动态的网络服务。而云市场是将所有云计算资源提供商和云计算使用者结
计算机犯罪的高技术特性使取证科学产生了一个新的分支，即计算机取证。与传统取证不同的是，计算机取证收集、分析的数据是计算机运行过程中所产生的数据。事件重建是计算机取证
摘要随着当今科技的不断进步,实时应用的复杂性达到了前所未有的水平,嵌入分布式实时系统结合了分布式系统和嵌入实时系统的优点而具有广泛的应用前景。实时系统要求任务必须
红外热波无损检测是一种新兴的无损检测技术，具有快速、高效、直观的优点，具有良好的应用价值。其技术核心包括三个部分：热激励、热成像和实时图像处理。THz对一些物质具有很好
伴随着信息技术特别是Internet技术的不断发展,多媒体信息不断涌现,图像数据飞速增长。如何快速、有效地检索到所需要的图片变得迫不及待。传统的基于文本注释的图像检索已经
随着大型软件的发展和广泛应用，软件重用技术被视为解决软件重复开发，减少软件设计费用，提高软件开发效率的关键技术。构件挖掘技术能为软件重用提供大量封装好的素材。虽然网络
Ad hoc网络是无基础设施的网络，其节点带宽和能量都有限，节点间以多跳方式进行通信。当一个源点对多个目的节点以并发单播方式进行数据传输时，该源节点容易出现带宽瓶颈；同时由于
计算机仿真技术是当前应用最广泛的实用技术之一,集成了计算机技术、网络技术、图形图像技术、多媒体、软件工程、信息处理、自动控制等多个高新技术领域的知识。变电站培训