电子商务协议论文
基于UPPAAL的电子商务协议安全性分析
论文摘要随着网络的迅速发展,电子商务正逐渐得到大规模的应用。但电子商务的安全问题也越来越突出,已成为网上购物者的主要顾虑,没有安全就没有可被人们接受的电子商务。安全的电子商务协...基于串空间理论的电子商务协议安全性研究
论文摘要随着网络通信技术的发展,电子商务已经渗透到人们的日常生活中。电子商务协议的安全性是决定电子商务发展的关键因素之一,也是制约电子商务发展的瓶颈。目前分析电子商务协议安全性...电子商务协议形式化方法及模型检测技术的研究与应用
论文摘要电子商务协议形式化分析是电子商务研究的一个重要方面,电子商务协议是面向电子商务的密码协议,安全的电子商务协议是保证电子商务活动正常开展的基础,其基本属性包括安全性、保密...