【摘 要】
：
网络安全是目前人们关注的一个热点,而安全协议的安全性却是网络安全的关键。安全协议应用于网络上传送文件和进行各种交易以及对计算机系统的访问等。人们已通过不同的方法
论文部分内容阅读
网络安全是目前人们关注的一个热点,而安全协议的安全性却是网络安全的关键。安全协议应用于网络上传送文件和进行各种交易以及对计算机系统的访问等。人们已通过不同的方法证明一些已存在的安全协议并不如它们所声明的那样安全。对安全协议的安全性进行验证成为国内外研究的热点。 本文主要研究安全协议的可视化建模,以及自动检测。论文首先介绍了安全协议,接着介绍安全协议的形式化方法和自动检测方法,并着重介绍模型检测工具SPIN的原理和它的建模语言PROMELA。接着提出了安全协议的UML建模规则和过程,并讨论了安全协议的UML模型转化成PROMELA语言的过程以及如何自动产生攻击者模型。为了实现安全协议的可视化设计与自动验证,开发了自动转化工具来实现这一目标。
其他文献
网络处理器是针对网络处理而优化设计的专用指令集处理器。其底层硬件体系结构经过特殊的设计能够以线速率处理和传输网络数据包。但程序员为了编写有效的网络处理程序必须熟
由Eckhorn神经元模型得到的脉冲耦合神经网络模型(PCNN)是直接观察猫的视觉皮层神经细胞并模拟其活动而得到的人工神经网络模型。此算法在图像分割领域中，已经显示出了其
聚类分析是数据挖掘的重要研究课题，它是数据挖掘研究的重要内容、手段和工具，因而成为一个被不断探索并充满创新的研究主题。离群知识发现是近年来倍受数据挖掘研究者关注的一
随着网络技术的飞速发展和下一代网络概念的提出,越来越多的人希望通过IP 网络进行包括话音、视频、数据在内的多媒体通信。SIP(会话初始化协议)就是在这种背景下由IETF提出
本文对GregoryM.Nielson2004年提出的Dual-MC表面重建算法进行了探讨，提出了一种Dual-MC算法的改进方法，使得为构建Dual-of-the-Dual表面所需生成的面片数减少到原来的5％。
云计算平台大多基于虚拟机技术，在云计算平台上运行的应用程序性能又相当部分取决于平台虚拟机之间的I/O性能。因此，高性能网络连接，如10G以太网，已经开始部署在云计算平台中。而
本文研究了内容分发网络中代理服务器的选择放置问题,希望通过将内容分发到最适合的边缘代理服务器上,来更好地调整内容分发网络结构,降低用户访问延迟.本文将网络拓扑上的多
本文进行了以下工作:第一、为了使抽取出的关键词能覆盖文章的要点,本文首先进行文章子主题信息提取工作,在比较了各种方法之后,本文将TextTiling算法应用到隐式章节划分中.
本文研究了基于良性蠕虫的蠕虫对抗方法，讨论了良性蠕虫扩散所需遵守的基本原则，并在此基础上重点讨论良性蠕虫有效的传输策略，使其在可控的范围内传播，而且尽量减少这一过程
首先，本文系统地综述了视频水印技术的主要应用领域、区别于图像水印的特性以及国内外研究现状，并深入分析了一些典型的视频水印算法，特别是对几种传统的基于DCT域的视