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

• 作者: 蒋昌俊 袁志祥
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Petri网 电子商务 安全电子交易 密码协议
• 年，卷（期）: 2003,（10）
• 所属期刊栏目: 基金项目论文
• 页码范围: 56-59
• 页数: 4页
• 分类号: TP393
• 字数: 4591字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2003.10.024

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋昌俊	同济大学计算机科学与工程系	93	1492	18.0	36.0
2	袁志祥	同济大学计算机科学与工程系	33	149	7.0	10.0