电子支付协议的博弈逻辑模型与形式化分析

来源 :微电子学与计算机 | 被引量 : 0次 | 上传用户：BlueHeart2010XP

【摘要】

：

提出用一种新的基于博弈逻辑ATL（Ahernating-time Temporal Logic）的电子支付协议建模与分析方法。新方法克服了传统时序逻辑把协议看成封闭系统进行分析的缺点．可以成功地对电

【作者】

：

文静华张梅张焕国

【机构】

：

贵州财经学院信息学院,武汉大学计算机学院

【出处】

：

微电子学与计算机

【发表日期】

：

2007年9期

【关键词】

：

电子支付协议公平性形式化分析 ATL electronic payment protocols fairness formal analysis

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

基于领域本体的XML模式元素的相似性

XML模式和领域本体是语义Web的两个关键特性，评价概念间的相似性正成为电子商务和事务处理的基础。通过利用领域本体，提出了评价XML模式元素的相似性方法。

期刊

XML模式领域本体相似性推理XML-Schema domain ontologies similarity reasoning

挖掘关联规则中对Apriori算法的一个改进

文章针对关联规则中的Apriori算法进行了深入研究，提出了Apriori-I算法。由于这个算法只需要对交易数据库进行一次搜索。能大量减少所需的I/O次数，且内存开销适中，因此同其他关

期刊

数据挖掘关联规则交易数据库频繁项集APRIORI算法Data mining Association rule Transaction databa

P2P环境下基于描述逻辑的信息集成

分析了描述逻辑与信息集成的关系，以及描述逻辑在信息集成中的研究现状和存在的问题。在D Calvanese的工作基础上。进一步研究了P2P环境下基于描述逻辑DLR的信息集成机制，提出

期刊

描述逻辑DLRP2P信息集成description logic DLR P2P information integration

H．264分像素插值滤波方法及其VLSI实现

基于H．264／AVC的分像素点滤波算法提出了一种新的分像素插值结构，避免了大量中间数据的存储，并且具有数据流规整、控制简单、垂直方向连续插值、可重用等优点。在0．18μm工艺下，最

期刊

H.264/AVC视频编码分数运动估计插值滤波器VLSIH.264/AVC video encoding sub-pixel motion est

胃镜诊断5714例消化性溃疡的情况分析

消化性溃疡(PU)是一种常见的慢性消化系统疾病.本文对我院1998～2001年的胃镜资料进行了统计,共做胃镜34 527例,检出PU 5 714例(占16.55%),现将PU的发病情况分析如下.

期刊

胃镜诊断消化性溃疡

面向异构网管理的多级中间件体系

为了减少异构网网络管理方面所付出的代价，继续利用各专业子网已有的网络基础设施并对其进行跨域管理，提出了一种多级网络管理体系。该体系模型以面向对象、中问件技术为核心．利

期刊

多级网络管理中问件面向对象CORBAWEBSERVICESMulti-layer network management Middle-ware

80万吨/年汽油加氢P-4002A/B增速箱轴承故障分析及改造处理

通过介绍炼油厂80万t/年汽油加氢P-4002A/B增速箱在2015~2017年以来,增速箱每运行1、2个月出现震动超标、轴承跑外圈、轴承滚珠严重损坏的设备故障进行技术攻关的情况。本文

期刊

滚动轴承增速箱轴承选型故障原因寿命处理措施

民营企业人力资源管理软肋

【正】某公司是有着十年发展历程的企业。由于行业景气,公司经营策略正确,所以规模不断扩大,销售业绩不断翻番,到2005年已经有4个亿的销售额。虽然公司

期刊

人力资源管理销售业绩经营策略薪酬水平巨人集团人才激励机制人力资源部民企老板集权管理

通心络对自发性2型糖尿病KK-Ay小鼠肾小管重吸收功能的影响

目的观察中药复方通心络对自发性2型糖尿病KK-Ay小鼠肾小管重吸收功能及肾组织megalin和cubilin的影响,探讨中药复方防治糖尿病肾病的作用机制。方法采用KK-Ay小鼠建立糖尿病

期刊

糖尿病肾病通心络肾小管重吸收Diabetic NephropathyTongxinluoTubular Reabsorption

2型糖尿病患者尿微量蛋白联合尿酶检测的临床意义

目的 :通过测定尿微量蛋白及尿N 乙酰 β D 氨基葡萄糖苷酶以探讨 2型糖尿病患者肾脏早期损伤。方法 :用酶联免疫吸附试验测定尿微量白蛋白 (A1b)、α1 微球蛋白 (α1 MG) ,

期刊

2型糖尿病尿微量蛋白N乙酰βD氨基葡萄糖苷酶肾脏损伤type 2 diabetes mellitus urine microproteinurine

电子支付协议的博弈逻辑模型与形式化分析

与本文相关的学术论文