基于Petri网的安全电子交易协议描述与分析

摘要：

对密码协议模型进行了分析,引入时廷Petri网分析工具,建立了一种新的安全电子交易协议的形式描述工具.利用该分析工具对安全电子交易协议中的支付部分进行了形式描述,并分析了它的安全等问题.

关键词：Petri网、电子商务、安全电子交易、密码协议

所属期刊栏目：29

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金66973029;教育部优秀青年教师资助计划

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：56-59