认证性相关论文
随着信息时代的发展，人们越来越关注隐私数据的保护，信息安全问题变得越来越突出。安全协议作为网络通信中保证数据安全传输的基石，其......
基于XML技术的Web服务体系是一种新兴的分布式计算模型,其核心的消息交换协议为SOAP(Simple Object Access Protocol,简单对象访问......
随着移动设备的迅速普及以及移动互联网的飞速发展,移动支付给人们的生活带来很大的便利。移动支付是实现移动电子商务交易成功的......
随着网络的快速发展,信息安全从最开始的军事领域逐步渗入到了商业应用和人们的日常生活中,如信用卡支付、智能卡、股票交易、对医......
在信息化高速发展的今天,人们越来越多的使用网络来获知信息,也越来越多的将个人信息提交到网络,社交聊天工具和一些网络应用的普......
使用基于知识推理的实例化空间逻辑及其自动化验证工具SPV对SET支付协议的重要安全性质进行验证,并对协议进行改进.与模型检测法相......
摘 要 随着物联网技术的日益成熟，智能家居也得到了大力的发展。以物联网技术为基点的智能家居使得人们的家居生活变得安全、舒适、......
本文介绍了在局域网中如何通过数字签名技术实现文件收发过程中的认证性和不可抵赖性,并通过加密技术和单向散列函数实现文件在传......
一、Web服务安全需求分析安全问题是任何分布式软件应用取得成功必须要解决的问题。在分布式软件系统中,互操作的基本安全需求主要......
本文使用通信顺序进程(Communicating Sequential Process)建模和分析认证协议,CSP有着良好的语义来描述认证协议,并且比较适合分......
可否认的群密钥协商协议是指两方或多方参与者在一个开放的公共信道上通过协商得到一个共享的会话密钥,并利用该会话密钥建立一个......
随着OAuth2．0协议的广泛应用，其安全性受到了人们的重点关注．为了增强OAuth2．0协议的安全性，本文首先引入数字签名技术，提出一个改进的OA......
研究了两种代理数字签名算法:单代理数字签名算法和多代理数字签名算法。这些算法具有不可伪造性、不可抵赖性、身份证实性、密钥......
设计一个满足安全需求的协议非常困难,并且极易出错,因此利用形式化方法来检验安全协议引起了人们极大的关注。使用了类pi演算来验......
分析了OpenID Connect协议的消息结构,基于计算模型应用Blanchet演算对OpenID Connect协议进行了形式化建模,应用自动化验证工具Cr......
串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。本文在Otway-Rees协议......
安全协议中的错误和漏洞很难完全由人工来发现,借助形式化方法对其进行分析可以保证安全协议的正确性和完整性。目前安全协议的形......
猜测攻击是安全协议中一类特殊问题，对其进行研究具有现实意义。本文针对猜测攻击，引入了基于串空间模型的Athena分析方法，并考虑了攻......
网络认证协议Kerberos5提供三方认证机制，允许客户在单次登录的前提下实现对多个网络应用服务器的身份认证，目前该协议已得到广泛应......
利用形式化方法或工具自动化分析实用安全协议十分必要，定理证明技术因其可解决无限状态系统的验证备受关注，但扩展其验证规模和自动......
本文针对电子商务中存在的安全问题，分析了电子商务中信息安全基本原理，介绍了应用于电子商务中的安全认证技术及目前电子商务中广泛......
可信网络连接（TNC）被认为是可信的网络体系结构的重要部分，随着TNC研究和应用的不断深入，TNC架构自身的安全性问题变得更加至关重要．文......
基于实例化空间逻辑理论，使用知识推理方法，在SPV（Security Protocol Verifier）下对完整SET证书申请协议的秘密性、认证性等安全性质进......
多重集重写MSR（multiset rewriting）模型是一种基于多重集重写的协议形式化建模方法．从目前的研究成果来看，该模型并不完善．针对其攻击......
2005年，Sun等提出了两个完美前向安全的E—mail协议，尽管从短密钥保护的有效性来看这两个协议是安全的，但它们都不能提供密文的认证性......
针对刘霞提出的改进的Server-specific MAKEP协议,首次利用一种新兴的形式化分析工具—串空间模型对其进行分析。先对协议的机密性......
基于串空间模型的极小元和理想理论，对网络管理中的一种互认证密码协议进行保密性和认证性分析，通过分析发现该协议存在冗余部分，并提......
用形式化方法分析安全协议是协议分析的有效手段，近年来，出现了众多的研究方法．串空间模型是一种新兴的形式化分析工具，其中，“理想”和......
认证性和保密性是认证协议设计的两个关键目标，针对在Needham—Schroeder和Otway—Rees两个协议基础上提出的一种新认证协议，首次利......
安全协议用于实现开放互连网络的安全通讯，它本质上是分布式并发程序，使用进程代数可以将其描述为角色进程的并发合成系统。使用抽象......
无线认证协议用于无线环境中各参与方之间相互确定对方的真实身份，防止假冒攻击。如果无线认证协议出现安全漏洞，整个会话就没有安全......
通过对两种攻击的分析，指出缺少认证性的密钥交换协议是不安全的．从认证性入手，在以下两个方面探讨了密钥交换协议的安全性：一方面讨论......
针对THNS协议属性不满足PCL认证性缺陷问题,提出RNS协议。该协议将发起者产生的随机数、身份和预期接收者的身份用相关密钥进行加......
安全协议本质上是分布式并发程序,可以描述为多个子进程的并发合成系统.将安全协议对应的并发合成系统抽象为一组逻辑规则,能够对......
针对WTLS握手协议中的特殊密码原语,用等值理论定义了椭圆曲线DH密钥交换原语,用可信机构颁发数字证书的方式定义了数字证书原语。......
安全协议用于实现开放互联网络的通信安全,进程代数是一类使用代数方法研究通信并发系统理论的泛称,基于进程代数的安全协议验证是......
于空间信息网络（spaceinformationnetwork，SIN)具有高动态拓扑、卫星计算和通信资源受限等特点，当群组飞行器需要与卫星快速接入认证......
作为密码学原语,签密同时具有签名的认证性与加密的机密性。在线/离线签密结合了在线/离线的方法,在已有基础上提高了系统的效率。......
通过对Woo—Lam协议自身特点的分析，把协议分为信息收集和主体认证两部分；并参考原协议的攻击方式，基于串空间模型运用极小元理论对改......
探讨了电子商务系统安全的主要因素包括:保密性、完整性和统一性、认证和不可抵赖性、安全性和可靠性及有效性等内容.......
针对缪祥华提出的改进的Needham—Schroeder协议，利用一种新兴的形式化分析工具——串空间模型对其进行分析。对协议的认证性，包括响......
模型检验是一种自动化程度很高的形式化分析技术。用有限状态机对无线认证协议Linear MAKEP建模，并对该协议的认证性用CTL公式进行......
介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议，并引进线性时序逻辑刻画了安全协......
认证性是安全协议检测的重要特性之一,但TA4SP自动协议证明器无法对安全协议的认证性进行检测。针对该问题,提出一种TA4SP的认证性......
签密能在一个逻辑步骤内实现签名和加密2项功能。环签名允许一个群体内某成员匿名地泄露秘密。结合签密和环签名提出环签密概念。......
Ateniese等人提出的不可关联秘密握手方案（NDSS’07）在不同组织共享一对群密钥时不能严格地划分不同组织，在实用性方面存在不足。为此......
安全内壳（SSH）协议可以实现本地主机与远程节点的网络文件传输、远程登录、远程命令执行及其他应用程序的安全执行,其在保障网络安全......
移动自组网MANETs(Mobile Ad hoc Networks)是一种无基站、自组织的无线网络。在MANETs中,任意节点都可以独自地向任意方向移动,同......
智能电网作为新一代的电力系统,是利用了先进的设备技术、传感和测量技术以及现代信息通讯技术等的智能电力系统.相对于传统的电网......
