Release Time:2019-03-10  Hits:

Indexed by: Journal Article

Date of Publication: 2009-06-15

Journal: 电子与信息学报

Included Journals: CSCD、ISTIC、PKU、EI、Scopus

Volume: 31

Issue: 6

Page Number: 1445-1450

ISSN: 1009-5896

Key Words: 有色Petri网(CPN);支付协议;公平性;可追究性

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