【摘 要】
:
随着网络的迅速发展,电子商务正逐渐得到大规模的应用。但电子商务的安全问题也越来越突出,已成为网上购物者的主要顾虑,没有安全就没有可被人们接受的电子商务。安全的电子
论文部分内容阅读
随着网络的迅速发展,电子商务正逐渐得到大规模的应用。但电子商务的安全问题也越来越突出,已成为网上购物者的主要顾虑,没有安全就没有可被人们接受的电子商务。安全的电子商务协议是保证电子商务活动正常开展的基础,但一个貌似安全的协议往往存在安全上的漏洞。因此,一个电子商务协议在设计出来之后,需要从多方面对其各种性质进行分析,协议验证是揭示电子商务协议是否存在缺陷的重要途径。模型检测是一种常见的形式化分析方法,已被广泛的用于分析各种各样的协议,近年来也被用于电子商务协议。UPPAAL是一个基于模型检测理论的自动化验证工具,通常用于分析通信协议,但很少被用于安全协议的分析和验证。本文证明UPPAAL可用于分析电子商务协议的常见的安全协议。并利用UPPAAL分析了几个重要的电子商务协议的安全性质。验证结果表明,UPPAAL可以分析电子商务协议的一些安全性质,尤其适于不可靠环境下协议的执行,且可以利用生成的消息序列对协议进行改进。基于此,我们利用UPPAAL分析了一个重要的电子商务协议匿名可恢复的公平交换协议,第一次形式化验证了该协议满足有效性、公平性、时效性等基本的安全性质。此外,我们还发现,一个安全的电子商务协议在不可靠环境下执行时,有可能不再满足安全性质;当安全性质违背时,可借助模型检测工具UPPAAL生成的消息序列对协议进行改进。
其他文献
随着2012伦敦第30届奥林匹克运动会的胜利闭幕,国人将更多关注的目光投向体育运动,迫切希望对奥林匹克运动及其运动项目有着更多的了解。其实除大家所熟知的中国传统优势运动项
<正>日本很重视反坦克导弹的发展,到目前为止自研了五种先进的反坦克导弹,包括79式反坦克/反舟艇导弹、87式反坦克导弹、96式多用途导弹、01式轻型反坦克导弹、中程多用途导
目的:研究ApoE基因多态性与冠心病的发病关系,以及观察ApoE基因多态性对阿托伐他汀调脂疗效的影响。方法:选择2012年9月-2013年1月苏州大学附属第一人民医院心内科收治冠心病38
由次贷危机引发的金融危机正从华尔街席卷全球,从金融领域波及实体经济,美国投资银行首当其冲。美国投资银行发生剧变的内部原因是,经营范围过宽,业务结构过于集中于高风险的
美国的应急管理,经过漫长的历史发展,形成了一个比较完善的体系。无论是基础理论研究,还是法律体系、组织架构、运行机制、技术手段、社会动员等方面,都有可供我们参考和借鉴之处
<正>"坚决打赢脱贫攻坚战",是党在十九大报告中对全社会的庄严承诺。一直以来,党中央和习近平总书记都把脱贫攻坚摆到治国理政的突出位置,特别是对精准扶贫做出了专门部署和
随着信息技术日新月异的发展,人类正在进入以网络为主的信息时代,基于Internet开展的电子商务己逐渐成为人们进行商务活动的新模式,越来越多的人通过Internet进行商务活动,电
核心观点$$几百年来创造丰富物质财富的工业革命留下的重要教训之一是“先发展,后治理”,它付出了生态环境失衡等严重代价。在人工智能时代,要充分吸取这一深刻历史教训,切戒以牺
背景与目的机械通气是保证全麻患者正常生命活动最基本的一项医疗技术,在给予患者呼吸支持,改善通气状态,促进机体氧合,防止缺氧和CO2蓄积具有不可代替的作用。但是不合理的
英语写作教学历来是英语教学的一个难点.随着认知心理学的发展, 元认知理论进入教育教学领域, 这为英语写作教学提供了新的视角.元认知理论主要包括元认知知识和元认知策略.