Hits:

Indexed by:期刊论文

Date of Publication:2009-06-15

Journal:电子与信息学报

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

Volume:31

Issue:6

Page Number:1445-1450

ISSN No.:1009-5896

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

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