期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

电子支付协议的博弈逻辑模型与形式化分析 被引量：1

Formal Analysis of Electronic Payment Protocols Based on Game Logic
下载PDF
导出
摘要 提出用一种新的基于博弈逻辑ATL(Alternating-time Temporal Logic)的电子支付协议建模与分析方法。新方法克服了传统时序逻辑把协议看成封闭系统进行分析的缺点,可以成功地对电子商务中的对抗与合作行为进行描述。利用新方法对Bolignano协议进行了严格的形式化分析,发现该协议不能满足公平性要求。 A new logical method based on game to model and analyze electronic payment protocols is proposed in this paper. Strict formal analysis for Bolignano protocol is made by this new method, and Bolignano protocol is discovered non-fairness.
作者 文静华 张梅 张焕国
机构地区 贵州财经学院信息学院 武汉大学计算机学院
出处 《微电子学与计算机》 CSCD 北大核心 2007年第9期113-115,共3页 Microelectronics & Computer
基金 国家自然科学基金项目(40261009) 贵阳市科学技术发展基金项目(20072111)
关键词 电子支付协议 公平性 形式化分析 ATL electronic payment protocols fairness formal analysis ATL
分类号 TP309 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献10

  • 1Glassman S.The millicent protocol for inexensive electronic commerce[C].In:Proc.4th Int.World Wide Web Conf.Boston,MA,Dec.1995:60-61
  • 2Schunter M.Optimistic fair exchange[D].PhD thesis,Technische Fakultat der Universit at des Saarlandes,Saar brucken,October 2000
  • 3Cederquist J,Corin R,Torabi Dashti M.On the quest for impartiality:design and analysis of a fair non-repudiation protocol[C].Lecture Notes in Computer Science 3783,Proceedings of International Conference on Information and Communications Security,Beijing,China,2005:7-39
  • 4薛锐,冯登国.安全协议的形式化分析技术与方法[J].计算机学报,2006,29(1):1-20. 被引量：61
  • 5Emerson E A.Temporal and modal logic[M].In J.van Leeuwen,editor,Handbook of Theoretical Computer Science,1990,B:995-1072
  • 6Clarke E M,Emerson E A.Design and synthesis of synchronization skeletons using branching time temporal logic[J].In Logic of Programs,1981,131:52-71
  • 7Alur R,Henzinger T A,Kupferman O.Alternating timetemporal logic[C].In 38th Annual Symposium on Foundations of Computer Science,Miami Beach,IEEE Computer Society Press,1997:100-109
  • 8Alur R,Henzinger T A,Mang F,et al.MOCHA:modularity in model checking[C].In Proc.CAV,Vancouver,BC,Canada,1998:512-525
  • 9Boliganod D.Towards the formal verification of electronic commerce protocols[C].10th IEEE Computer Security Foundation Workshop,1997
  • 10Henzinger T,Majumdar R,Mang F,et al.Abstract interpretation of game properties[C].In Proc.SAS,Santa Barbara,USA,2000:220-239

二级参考文献1

共引文献60

同被引文献5

  • 1Toru Nakanishi,Yuji Sugiyama.Unlinkable divisible electronic cash[C]//ISW 2000.Berlin:Springer,LNCS,2002:121-134.
  • 2Sebastien Canard,Aline Gouget.Divisible E-cash systerms can be truly anonymous[C]//EUROCRYPT 2007.Hance,LNCS,2007:482-497.
  • 3Frankel Y D Y.Threshold cryptosysterma[C]//Advances in Cryptology-CRYPTO'89.Milwaukee:University of Wisconsin Milcoaukee,LNCS,1989:307-315.
  • 4Fiat A,Shamir A.How to prove youself:practical solutions tO identification and signature problems[C]//Advances in Cryptology-CRYPTO'86.California,LNCS,1986:186-194.
  • 5刘义春.电子商务中的信任机制研究[J].微电子学与计算机,2008,25(3):122-125. 被引量：6

引证文献1

微电子学与计算机
2007年 第9期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部