顾宏

  教授   博士生导师   硕士生导师


当前位置: 中文主页 >> 科学研究 >> 论文成果

电子支付协议可追究性的Petri网建模与分析

论文类型:期刊论文

发表时间:2008-01-01

发表刊物:系统仿真学报

收录刊物:Scopus、PKU、ISTIC、CSCD

卷号:20

期号:20

页面范围:5600

ISSN号:1004-731X

关键字:可追究性; 电子支付协议; 电子商务

摘要:可追究性是电子支付协议必须满足的安全属性之一,针对电子支付协议,建立了支持支付协议可追究性分析的分层有色Petri网模型,并基于此提出一种对支付
   协议可追究性分析的一般性方法。Kungpisdan等人曾提出一种可追究性逻辑,证明一个典型的移动支付协议KSL协议满足可追究性。但使用上述所提方
   法对该协议建模并进行可追究性分析,发现了可追究性逻辑未发现的漏洞,分析例证结果表明了所提方法的有效性。

上一条: Analysis of Fairness in Payment Protocols based on Timed Coloured Petri Nets

下一条: A wireless medical information query system based on Unstructured Supplementary Service Data