串空间模型相关论文
云计算作为一个虚拟化，大规模的分布式计算模式，给企业乃至个人提供了一个数据存储的第三方平台，减轻了本地的存储负担，带来了巨大的便......
本文对认证测试方法在安全协议分析中的应用进行了深入研究,提出了扩展的认证测试方法并设计了基于该方法的协议分析算法和自动化......
随着3G技术商用化在世界范围内展开，4G商用标准的遴选工作也在紧锣密鼓地进行着。作为当前最被看好的4G候选技术，LTE/SAE网络的性能......
本文分别针对3G和MANET两种类型的无线网络的相关协议进行分析，分别提出改进的安全协议并利用串空间模型理论对改进协议的安全性进......
电力通信是电力系统的重要组成部分。电力通信的安全需求包括身份认证,存取控制,防火墙等,这些安全需求的实现都依靠安全协议。安......
在众多的安全协议分析方法中,基于串空间的形式化分析方法是当前的研究热点之一。串空间理论发展过程中有两个重要事件:其一是Gutt......
随着网络的飞速发展和信息交互量的不断增长,信息安全的问题受到了越来越多的关注。为了维护网络环境的安全,构建正确的安全协议是......
随着网络的普及以及电子商务和电子政务的蓬勃兴起,安全协议变得越来越重要,确保安全协议的安全性已经成为一项重要的研究课题。安......
随着计算机网络的广泛应用，计算机网络的安全问题也日益引起人们的重视。在网络安全中，各种安全服务都是基于安全协议的，这使得安全协......
安全协议也称密码协议，是建立在密码体制基础上的高互通的消息交换协议，它运行在计算机通信网或分布式系统中，其目的是在网络环境中提......
随着Internet技术的发展,安全协议在电子商务和电子政务中的应用越来越多。与此相应的就是人们对协议的安全性更加关注,随之涌现出......
计算机网络的高速发展和网络新应用的不断涌现给网络安全带来了很大的冲击,网络安全成为新的信息安全的热点;安全协议作为计算机网......
物联网技术在各行各业应用越来越广泛,对物联网技术的研究也越来越多。随着物联网技术中硬件和软件的广泛应用,安全问题也日益突出......
安全协议提供安全服务,是构建网络安全的基石。随着网络的迅速发展,越来越多的密码技术被应用到安全协议中,保证了网络不同程度的......
随着计算机网络的广泛应用,人们对网络的依赖程度越来越高,与此同时网络安全问题也变得越来越重要。尤其近年来,新兴的移动Ad Hoc......
作为网络通信的安全保障,安全协议是整个信息系统架构的安全基础。为了保证安全协议的正确性,研究人员提出了一系列基于形式化方法......
随着网络技术和信息技术的迅速发展,计算机网络在诸多领域内的应用日益普及,然而由于其运行环境具有开放性,使得计算机网络在给人......
随着网络的普及以及电子商务和电子政务蓬勃兴起,安全协议变得越来越重要,确保安全协议的安全性已经成为一项重要的研究课题.安全......
安全协议是实现信息安全的基础,是网络安全通信的核心技术,它的正确性对网络的安全起着非常重要的作用,因此其自身的安全性问题已......
本文提出了一种改进的BAN逻辑与串空间相结合的安全协议形式化分析方法,此方 法将两种方法的优点结合,可以有效地分析协议的安全性......
基于串空间模型理论及认证测试方法形式化分析了第3代伙伴计划（3GPP）认证密钥交换协议，指出了该协议应用于不安全的信道时存在保密性......
采用形式化方法分析安全协议是协议分析的有效手段，近年来。出现了众多的研究方法。串空间模型是一种新兴的密码协议形式化分析工具......
认证测试^[1]技术是串空间（strand space）理论的进一步发展，不仅用于认证协议的安全性分析而且还用于指导认证协议的设计^[2]。但在分......
针对有限域上计算离散对数的困难，提出了一种新的身份认证与密钥协商安全协议——PJY。PJY安全协议通过两次握手就可以验证通信双方......
在现有WAI证书鉴别过程的基础上提出了一种增强型WAI证书鉴别过程,它除了实现现有WAI证书鉴别过程的功能外,还可以建立站(STA)与鉴......
TLS协议作为当今应用最广泛的传输层安全协议，受到了人们的极大关注，但是其自身存在证书管理复杂、握手交互过多和安全缺陷等诸多问......
串空间模型是一种新兴的密码协议形式化分析工具,基于串空间模型的协议认证分析方法是比较常用的验证方法。概述了串空间模型理论......
用户登录身份认证是建立操作系统可信性的一个非常重要的环节,是建立可信计算环境的基础。首先讨论了认证的相关技术,介绍了CPK（组......
针对认证测试理论在测试组件构造方面缺少具体形式化构造规则的不足,根据协议主体在认证测试中的角色特点,以及包含惟一源发消息的......
针对认证测试基础理论在协议主体串参数一致性分析方面,因形式化判定规则不足所产生的分析复杂度较高和自动化程度较低问题,通过对......
认证性和保密性是认证协议设计的两个关键目标，针对在Needham—Schroeder和Otway—Rees两个协议基础上提出的一种新认证协议，首次利......
通过分析Oh等设计的T-AKA协议,发现该协议无法实现网络对用户的正确认证及消息的新鲜性验证,并利用该安全漏洞构造出了伪冒用户的......
通过分析3GPP LTE网间切换安全协议,发现通过监听网络消息的方式,入侵者可以在协议的信息交互过程中获取协议的2个核心密钥,并将其......
Yahalom协议及BAN对Yahalom协议的改进协议都存在着安全缺陷。采用串空间模型,运用"理想"和"诚实"作为工具对Yahalom协议的安全性......
本文利用串空间模型（strand space）这种有效的网络安全协议形式化分析工具,设计了一个安全电子商务交易协议SECT。从中展示了串空间......
分析安全协议的执行过程,给出驱动模块（Driving Module,DM）的定义,利用串空间模型构建常规DM和攻击DM,由此给出一种基于驱动模块的模......
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。概述基于该模型结合使用定理证明和模型检测技术开发的安全协议验......
形式化分析技术是揭示安全协议是否存在漏洞的重要途径，串空间模型是一种基于定理证明的、新兴的安全协议形式化模型。介绍了SSL3．0......
Strand空间模型是利用图的形式来描述和分析安全协议的。通过对该模型的研究,总结了已有的状态空间简化技术;研究了如何将认证测试......
串空间是安全协议形式化分析的一种新模型．利用次序关系的理论证明了借助串空间模型进行安全协议形式化分析的一个重要结论．通过构造......
移动支付是移动电子商务的重要组成部分,而安全性成为移动支付的发展瓶颈,因此电子商务协议的安全性成为此问题的核心。为了解决上......
在Andrew安全RPC协议模型的基础上,运用安全协议的形式化串空间模型分析方法,对Andrew安全RPC协议进行了分析,说明了该方法进行协......
基于串空间模型的认证测试方法分析协议的安全性有一定的局限性,只能分析有限的协议.因此,对基于串空间模型的认证测试方法进行了......
形式化方法对安全协议的分析有着无可替代的优势,串空间模型又是众多形式化方法中有良好扩展性的方法之一。利用串空间模型对IEEE ......
串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder（N-S）公钥协议中中......
网络通信的普及和发展使得对网络协议尤其是安全协议的需求日益增长.由于安全要求的多样化以及攻击方式的层出不穷,使得对网络安全......
在现有移动支付方案研究的基础上,提出一种新的基于第三方的安全移动支付方案.该方案以第三方支付平台为基础,在交易过程中采用＂一......
