网上支付安全协议得Petri网模型及分析.pptVIP

Petri Net Model and Analysis for Electronic Payment Security Protocol 电子支付安全协议的Petri网模型及分析 四川大学信息安全研究所 CERNET第十二届学术年会 内容提要 Petri网的概念 电子支付安全协议的Petri网模型 电子支付安全协议的可达树 电子支付安全协议的分析 工作总结 前言 电子支付是客户利用电子账户，通过计算机网络来实施的支付，随着计算机和通信的发展，电子支付已经成为各银行生存、发展和参与竞争的重要手段 如果没有各种安全保障，电子支付很难真正发展起来 因此电子支付安全协议的研究就成为了一个重要的课题 Petri网的概念 1962年，德国的C.A. Petri在其博士论文《用自动机通信》中首次使用网状结构模拟通信系统，这是Petri网建立系统模型的起点 Petri网兼顾了严格定义与图形语言两个方面，具有丰富而严格的模型语义，同时又是一种图形化的语言，具有直观、易懂与易用的优点 它采用库所(place)、变迁(transition)、弧(arc)的连接来表示系统的功能和结构 库所、变迁和托肯的说明 库所表示系统中的条件、资源和信息等可以静态表达的事物