首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到10条相似文献,搜索用时 15 毫秒
1.
王赏玉 《无线互联科技》2012,(12):128-128,137
根据可视化BPEL流程编制工具实际应用中存在的问题,提出了把可视化BPEL流程用pi演算进行描述的方法。明确了可视化BPEL流程与pi演算之间的对应关系,并用实例说明了怎样把一个利用Eclipse BPEL插件建立起来的BPEL流程用pi演算进行描述的过程。  相似文献   

2.
基于博弈的电子商务协议分析   总被引:2,自引:0,他引:2  
文静华  张梅  李祥 《通信学报》2006,27(3):73-78
提出用一种新的基于博弈的逻辑方法分析电子商务协议,克服了传统时序逻辑把协议看成封闭系统进行分析的缺点。新方法可以成功地对电子商务中的对抗与合作行为进行描述,能够分析协议的保密性、安全性、非否认性及公平性等。最后用新方法对Zhou-Gollmann协议进行了严格的形式化分析。结果表明基于博弈的ATL逻辑比传统的基于计算树逻辑(CTL)更适合于描述和分析复杂电子商务协议。  相似文献   

3.
基于分层时间有色Petri网的支付协议公平性分析   总被引:2,自引:0,他引:2  
电子支付协议是一种重要的电子商务协议,公平性是其重要的安全属性之一.该文提出一种基于分层时间有色Petri网(HTCPN)的电子支付协议形式化分析方法.该方法在进行公平性分析时,充分考虑了两个环境因素:主体是否诚实和通信信道是否可靠,与其他形式化方法相比,可以更有效地分析协议公平性.使用该方法对典型支付协议IBS协议进行分析,分析结果验证了所提模型和方法的有效性.  相似文献   

4.
机密性是无线传感器网络众多安全需求中最为核心的一项,网络安全的重点通常首先就是要解决数据机密性问题,安全协议的机密性直接决定了网络中传输数据消息的安全性。文中基于Applied pi演算构建SNEP协议机密性论证模型,将协议分成协议进程和用户进程两部分来分析,将协议的机密性转换为协议的执行过程是否具备不可区分性,进而用等价理论证明了协议的机密性情况。  相似文献   

5.
提出用一种新的基于博弈逻辑ATL(Ahernating-time Temporal Logic)的电子支付协议建模与分析方法。新方法克服了传统时序逻辑把协议看成封闭系统进行分析的缺点.可以成功地对电子商务中的对抗与合作行为进行描述.利用新方法对Bolignano协议进行了严格的形式化分析.发现该协议不能满足公平性要求.  相似文献   

6.
文静华  张梅  李祥 《电讯技术》2005,45(6):80-83
电子商务协议的非否认性与公平性问题已成为电子商务和信息安全领域研究的热点。本文建立了网络支付协议ISI的有限状态机模型,并用SMV检验工具对其两个重要特性———非否认性与公平性进行了分析检验,发现了ISI协议不满足公平性。结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。  相似文献   

7.
文章利用StrandSpace模型对ISI支付协议进行了分析,得出了与卿_周逻辑分析方法相同的结论,并将StrandSpace模型对认证协议协定性的分析方法应用到了电子商务协议公平性的分析。  相似文献   

8.
对一种电子支付协议的改进   总被引:1,自引:0,他引:1  
随着电子商务在全球的迅猛发展,电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础,其中不可否认性和公平性则是电子商务协议的两个重要安全需求。介绍了Bolignano电子支付协议,对其不可否认性和公平性进行了分析,发现了协议在公平性方面存在不足,并通过引入ftp传送的思想,对协议进行了改进。最后本文通过严格的协议形式化分析,证明了改进后的协议满足不可否认性和公平性。  相似文献   

9.
基于ATL的公平电子商务协议形式化分析   总被引:1,自引:0,他引:1  
针对传统时序逻辑LTL,CTL及CTL*等把协议看成封闭系统进行分析的缺点,Kremer博士(2003)提出用一种基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平电子商务协议并对几个典型的协议进行了公平性等方面的形式化分析.本文讨论了ATL逻辑及其在电子商务协议形式化分析中的应用,进一步扩展了Kremer博士的方法,使之在考虑公平性等特性的同时能够分析协议的安全性.最后本文用新方法对Zhou等人(1999)提出的ZDB协议进行了严格的形式化分析,结果发现该协议在非保密通道下存在两个可能的攻击:保密信息泄露和重放攻击.  相似文献   

10.
介绍了IEEE 802.15.4协议的GTS调度机制。基于现有的IEEE802.15.4MAC协议,提出了一种针对传输时延和公平性问题的自适应GTS调度(Adaptive GTS Allocation,AGA)算法。建立相应的自适应GTS仿真模型,对GTS算法的性能进行评估,并用网络演算理论对GTS进行理论分析。结果表明,提出的GTS调度机制在传输时延和公平性上明显优于现有的GTS调度方案。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号