【摘 要】
：
安全协议的安全性是网络与信息安全的重要基础,运用形式化方法分析安全协议已成为目前研究的主要热点。本文主要研究运用形式化技术分析电子商务安全协议的理论与技术。主要
论文部分内容阅读
安全协议的安全性是网络与信息安全的重要基础,运用形式化方法分析安全协议已成为目前研究的主要热点。本文主要研究运用形式化技术分析电子商务安全协议的理论与技术。主要的研究成果如下: 系统介绍安全协议和电子商务安全协议的背景、基本概念和分类方法、安全协议分析领域的现状、研究进展和取得的成果。介绍基于模型检测理论建立的两方安全协议运行模式分析法,归纳基于可信第三方服务器的三方安全协议运行模式分析法,计算运行模式的数量上界,并给出有效的约束条件。使用运行模式分析法成功的分析了电子商务安全协议SET 协议,发现了此协议隐含的缺陷,证明运行模式分析法可以分析较为复杂的电子商务安全协议。介绍安全协议的设计原则,探讨电子商务安全协议的设计方法,并设计了一个电子商务安全协议。
其他文献
通过对 5种禾本科饲料作物草产量及粗蛋白质产量的比较试验 ,鲜、干草产量均以健宝最高 ,牧特利其次 ,金油 1号最低 ,苏波丹鲜草产量高于科多 4号而干草产量低于科多 4号 ;粗
世界各国各类组织的多数变革往往收效甚微，甚至因此而加剧了组织的危机，为此，我们有必要引入“变革管理”这个概念，来真正把握变革。公私伙伴关系是公共部门变革的重要策略。改革
提到商业广告的功能，人们首先想到的是其经济功能。其实，现代广告不仅以其特有的经济功能全面渗透于社会生活的方方面面，成为社会经济发展的强大驱动力，更以其特有的文化张力全面
现代软件工程中大量采用分层的体系结构，下层为上层提供应用编程接口。在分层的软件体系中，层与层之间的接口与其实现相分离，作为接口开发者与接口使用者之间的合约。在实践中，分
以呼伦贝尔草甸草原自然保护区作为研究样地，对羊草群落、贝加尔针茅群落在不同干扰下的群落特征进行研究。结果表明：刈割可以增加两个群落的物种数、群落密度，以及羊草群落盖度
在本论文中,主要研究了基于 MPC860 平台的点对点无线网桥的设计与实现。包括以太网数据包的收发、无线数据包的收发、以及无线网桥协议的实现,达到系统能有效地实现数据包的
供应链协调问题已经成为供应链管理研究的主要方向之一,而协调机制的建立往往是解决供应链成员间不协调问题的主要手段。本文研究基于博弈理论的协调机制设计问题,给出三级供
近年来,把云南建成中国面向西南开放重要桥头堡的讨论十分热烈。大理是云南桥头堡建设规划中第二阶段的四大枢纽之一。通过对大理在云南桥头堡建设中的优势作系统分析,认为其
伴随着金融的全球化及自由化,面对着经营环境的变化,澳门商业银行必需开创一条创新的发展路向,提高商业银行的盈利和竞争能力。为此,本文首先通过分析介绍澳门商业银行的历史
文章对珠海发电厂烟气脱硫工程钢结构连接设计、吸收塔进口烟道C276合金材料、湿式球磨机设备国产化及烟囱钢内筒防腐工艺选择等问题进行分析探讨,并提出设计优化方案。如可