SVO逻辑相关论文
本文主要对基于XML的电子商务安全协议进行了研究。首先介绍了XML的基础知识和相关的技术标准，然后引入了电子商务、支付系统及安全......
SVO逻辑已成功分析了NSSK协议、NSPK协议、Otway-Rees协议、Yahlom协议、大嘴青蛙协议等,并找到了其中已知的和未知的漏洞。在SVO......
该论文的工作主要是:以X.509标准为基础,对PKI系统的体系结构作一定的研究,并设计一个适用于企业的PKI系统框架.这个系统框架的目......
计算机行业在经历了硬件主导的时代、软件主导的时代之后，现在正处于网络主导的时代。随着Internet的迅猛发展和下一代网络的带宽建......
学位
电子商务协议形式化分析是电子商务研究的一个重要方面，电子商务协议是面向电子商务的密码协议，安全的电子商务协议是保证电子商务活......
计算机网络正以惊人的速度发展,但是网络安全问题却变得越来越突出,越来越复杂,解决安全问题对许多网络应用来说是首要难题。目前,......
近年来，随着手持设备技术的发展和无线通信技术的更新，移动支付得到迅速的发展，频繁地出现在人们的视野中，然而许多人并没有接受这个新......
物联网在我国飞速发展,其安全问题日益显现,并已成为阻碍其广泛应用的主要瓶颈。物联网接入设备众多,且形态功能各异,保证终端接入......
随着“互联网+”应用和工业互联网的快速发展,全球制造业越来越依赖网络平台和信息系统。在全面深化“互联网+先进制造业”的进程......
随着移动通信网络和互联网的不断融合,移动通信网络中涌现出诸如移动电子商务、移动银行等众多新型业务,这些新型业务的开展对系统......
安全协议的形式化验证能有效检验安全协议的安全性,BAN类逻辑的发展极大的促进了这一领域的研究,而SVO逻辑是BAN类逻辑的佼佼者.本......
