串空间模型相关论文
云计算作为一个虚拟化，大规模的分布式计算模式，给企业乃至个人提供了一个数据存储的第三方平台，减轻了本地的存储负担，带来了巨大的便......
本文对认证测试方法在安全协议分析中的应用进行了深入研究,提出了扩展的认证测试方法并设计了基于该方法的协议分析算法和自动化......
随着3G技术商用化在世界范围内展开，4G商用标准的遴选工作也在紧锣密鼓地进行着。作为当前最被看好的4G候选技术，LTE/SAE网络的性能......
本文分别针对3G和MANET两种类型的无线网络的相关协议进行分析，分别提出改进的安全协议并利用串空间模型理论对改进协议的安全性进......
电力通信是电力系统的重要组成部分。电力通信的安全需求包括身份认证,存取控制,防火墙等,这些安全需求的实现都依靠安全协议。安......
在众多的安全协议分析方法中,基于串空间的形式化分析方法是当前的研究热点之一。串空间理论发展过程中有两个重要事件:其一是Gutt......
随着网络的飞速发展和信息交互量的不断增长,信息安全的问题受到了越来越多的关注。为了维护网络环境的安全,构建正确的安全协议是......
随着网络的普及以及电子商务和电子政务的蓬勃兴起,安全协议变得越来越重要,确保安全协议的安全性已经成为一项重要的研究课题。安......
随着计算机网络的广泛应用，计算机网络的安全问题也日益引起人们的重视。在网络安全中，各种安全服务都是基于安全协议的，这使得安全协......
安全协议也称密码协议，是建立在密码体制基础上的高互通的消息交换协议，它运行在计算机通信网或分布式系统中，其目的是在网络环境中提......
随着Internet技术的发展,安全协议在电子商务和电子政务中的应用越来越多。与此相应的就是人们对协议的安全性更加关注,随之涌现出......
计算机网络的高速发展和网络新应用的不断涌现给网络安全带来了很大的冲击,网络安全成为新的信息安全的热点;安全协议作为计算机网......
物联网技术在各行各业应用越来越广泛,对物联网技术的研究也越来越多。随着物联网技术中硬件和软件的广泛应用,安全问题也日益突出......
安全协议提供安全服务,是构建网络安全的基石。随着网络的迅速发展,越来越多的密码技术被应用到安全协议中,保证了网络不同程度的......
随着计算机网络的广泛应用,人们对网络的依赖程度越来越高,与此同时网络安全问题也变得越来越重要。尤其近年来,新兴的移动Ad Hoc......
作为网络通信的安全保障,安全协议是整个信息系统架构的安全基础。为了保证安全协议的正确性,研究人员提出了一系列基于形式化方法......
随着网络技术和信息技术的迅速发展,计算机网络在诸多领域内的应用日益普及,然而由于其运行环境具有开放性,使得计算机网络在给人......
随着网络的普及以及电子商务和电子政务蓬勃兴起,安全协议变得越来越重要,确保安全协议的安全性已经成为一项重要的研究课题.安全......
安全协议是实现信息安全的基础,是网络安全通信的核心技术,它的正确性对网络的安全起着非常重要的作用,因此其自身的安全性问题已......
