点击次数：

论文类型：期刊论文

发表时间：2009-06-15

发表刊物：电子与信息学报

收录刊物：Scopus、EI、PKU、ISTIC、CSCD

卷号：31

期号：6

页面范围：1445-1450

ISSN号：1009-5896

关键字：有色Petri网(CPN);支付协议;公平性;可追究性

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