SVO逻辑相关论文
安全协议的设计和形式化分析是当前信息安全领域中的研究热点和难点之一。本文运用SVO逻辑对Trusted Mobile Platform中提出的一种......
非否认性是电子商务协议应该具备的一个重要特性.SVO逻辑以其简洁的特点在协议的安全性验证方面被广泛应用.本文通过对SVO逻辑分析......
通过引入优胜劣汰的自然规律,提出了一种改进的基于演化计算的安全协议自动化设计方法。该方法采用SVO逻辑作为描述协议的基本工具......
本文主要对基于XML的电子商务安全协议进行了研究。首先介绍了XML的基础知识和相关的技术标准，然后引入了电子商务、支付系统及安全......
该论文的工作主要是:以X.509标准为基础,对PKI系统的体系结构作一定的研究,并设计一个适用于企业的PKI系统框架.这个系统框架的目......
计算机行业在经历了硬件主导的时代、软件主导的时代之后，现在正处于网络主导的时代。随着Internet的迅猛发展和下一代网络的带宽建......
学位
不可否认协议可以为网络上实体间的交互行为提供不可抵赖的证据。近年来，电子商务等Intemet应用的发展极大地推动了不可否认协议的......
电子商务协议形式化分析是电子商务研究的一个重要方面，电子商务协议是面向电子商务的密码协议，安全的电子商务协议是保证电子商务活......
近年来，随着手持设备技术的发展和无线通信技术的更新，移动支付得到迅速的发展，频繁地出现在人们的视野中，然而许多人并没有接受这个新......
物联网在我国飞速发展,其安全问题日益显现,并已成为阻碍其广泛应用的主要瓶颈。物联网接入设备众多,且形态功能各异,保证终端接入......
随着“互联网+”应用和工业互联网的快速发展,全球制造业越来越依赖网络平台和信息系统。在全面深化“互联网+先进制造业”的进程......
非否认性是考量电子商务协议的重要方面。SVO逻辑以其简洁的特点在协议的安全性验证方面被广泛应用。本文通过对SVO逻辑分析推理规......
随着移动通信网络和互联网的不断融合,移动通信网络中涌现出诸如移动电子商务、移动银行等众多新型业务,这些新型业务的开展对系统......
IP多播的主要功能在路由器上实现，通过合并重复信息传输来减少带宽浪费和降低服务器的负担。虽然IP多播是一种很好的解决多方通信需......
应用层多播(Application Layer Multicast，简称ALM)，是一类以单播来实现多播的技术，不仅从根本上解决了IP多播的部署问题与IP多播过分......
安全协议的形式化验证能有效检验安全协议的安全性,BAN类逻辑的发展极大的促进了这一领域的研究,而SVO逻辑是BAN类逻辑的佼佼者.本......
虽然SVO逻辑由于其简单性在对不可否认协议的形式化分析中得到了广泛的应用，但它在时间描述能力上的不足使得它无法分析不可否认协......
为解决物联网的安全漏洞凸显的问题,从军事物联网的高安全需求和节点终端负载能力考虑,提出了一种适用于军事物联网的身份认证方案......
通过严格的形式化验证方法来分析电子商务交易协议,一直是电子商务领域研究的热点.SVO逻辑以其完善、简洁的特点在协议验证中被广......
非否认性是电子商务协议的一个重要性质,其形式化分析问题引起了人们的密切关注.本文运用SVO逻辑对一个非否认协议实例进行了有效......
AKA协议是3G通讯中的一个重要安全协议。利用SVO逻辑对该协议进行形式化分析,以期发现其是否存在安全缺陷。运用信息隐藏的方法对......
探讨了非否认协议的保密性认证目标,用攻击的方法验证了A（0）协议在认证保密性方面的不足;对其消息格式和会话密钥建立后确认方式做了......
基于PKI的签名机制在保护SAML断言传递时存在增加SOAP消息长度、显著降低Web服务响应速度的问题。为此,提出了基于身份聚合签名的S......
多方不可否认协议需要满足不可否认性、公平性和时限性三大安全目标,但是现有的对多方不可否认协议的形式化分析方法大多是对两方......
在克服一种非否认协议草案的缺陷的基础上，提出一种新的非否认协议。新的协议可以在不安全和不可靠的信道上工作，并能对付各种期骗行......
使用SVO逻辑对Zhou-Gollmann的公平不可否认协议的一个改进协议进行了形式化分析.在分析该协议的过程中,分析了使用SVO逻辑分析不......
移动IP注册过程的安全,主要是通过认证和消息完整性保护实现的,因此,密钥的安全有效分发便成为保证注册过程安全的关键.根据注册过......
无线传感器网络（WSN）节点在电源、计算能力和内存容量等方面存在局限性，且面临的安全威胁更复杂。为此，提出一种适用于类LEACH路由的WS......
移动通信应用越来越广泛，其安全问题也不容忽视，可是，移动设备计算能力较低，难于进行大量的复杂密码运算，采用哈希函数代替数字签名进行......
为了提高战场通信网络的安全性,基于北斗卫星导航系统(“BeiDou” navigation satellite system,BDS)所提供的高质量的定位、授时......
现有的IPSec密钥交换标准存在着若干安全漏洞,为了解决相关的安全及应用问题,IETF提出了IKE2协议.应用SVO逻辑对IKE2协议进行了形......
Zhou和Gollmann于1996年提出了一个简单有效的公平不可否认协议,但Kim等人后来发现该协议不具有时限性并提出了一个改进方案.虽然......
随着移动应用广泛普及，移动通信的安全要求就愈来愈高，而移动设备计算能力相对较低，如何降低移动端的计算量是移动通信的认证密钥协商......
为解决当前企业云内部部门之间通信时缺乏身份认证的问题,提出基于可信计算的企业云签证方法与协议,并对其进行证明和分析。在可信......
不可否认服务是电子商务中重要数据和敏感信息通过网络传输的安全基础．不可否认协议正是专门为了提供不可否认服务而设计的网络协议......
近年来,由于物联网技术的快速发展,各式各样的应用场景出现在我们的生活场景之中,比如:智能家居设备、实时交通监测、智能无人工厂......
针对现有复合型支付协议AECPP的单向身份认证中易受匿名攻击、支付子协议的完整性不能有效保证这些不足,提出一种新的复合型电子支......
乐观电子商务协议通常具有复杂结构,由多个子协议组合而成,与传统认证协议具有显著不同。电子商务协议最主要目的是实现买卖双方的......
提出一种新的用于移动通信的相互认证和密钥协商方法——NMAKAP。NMAKAP采用基于阿贝尔群的模幂运算和散列函数进行身份认证，取代了......
综合Kailar逻辑和SVO逻辑两种协议分析方法的优点，借助SVO逻辑的思想对Kailar逻辑进行了改进，使其更好地应用于不可否认协议的可追究......
无线体域网中传输的是与生命高度相关的敏感数据,身份认证是信息安全保护的第一道防线。现有的基于人体生物信息的身份认证方案存......
身份认证问题成为制约无线网络发展的瓶颈。一次性口令（OTP）技术和椭圆曲线密码体制由于自身优点,比较适合无线环境中的身份认证。利......
针对用户身份标识在身份认证机制中的安全问题,提出一种隐藏身份标识的身分认证方案,用户毋需提交身份标识即可与服务器实现身份认......
针对认证协议在受限通信网络环境中的应用和安全问题,提出一种基于椭圆曲线密码技术的认证协议,使用对称密码为协议中的交互信息提......
SVO原逻辑不适用于证明基于证书的认证与密钥交换协议安全性问题。为此，提出2个SVO逻辑相关公理，对证书真实性与会话密钥安全性进行......
针对软件即服务（SaaS）应用系统下认证协议的应用及安全性问题,提出一种新型认证方案。通过加密用户口令,将散列结果传输到网络上,只......
