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