| 基于Petri网的安全电子交易协议描述与分析 |
| |
| 引用本文： | 袁志祥,蒋昌俊.基于Petri网的安全电子交易协议描述与分析[J].计算机工程,2003,29(10):56-59. |
| |
| 作者姓名： | 袁志祥 蒋昌俊 |
| |
| 作者单位： | 1. 同济大学计算机科学与工程系,上海,200092;安徽工业大学计算机科学与工程系,马鞍山,243000
2. 同济大学计算机科学与工程系,上海,200092 |
| |
| 基金项目： | 国家自然科学基金(66973029)，教育部优秀青年教师教学科研奖励计划资助项目 |
| |
| 摘 要： | 对密码协议模型进行了分析，引入时延Petri网分析工具，建立了一种新的安全电子交易协议的形式描述工具。利用该分析工具对安全电子交易协议中的支付部分进行了形式描述，并分析了它的安全等问题。
|
| 关 键 词： | Petri网 电子商务 安全电子交易 密码协议 |
| 文章编号： | 1000-3428(2003)10-0056-04 |
| 修稿时间： | 2002年5月24日 |
Specification and Analysis of Secure Electronic Transaction Protocol Based on Petri Nets |
| |
| YUAN Zhixiang,JIANG Changjun.Specification and Analysis of Secure Electronic Transaction Protocol Based on Petri Nets[J].Computer Engineering,2003,29(10):56-59. |
| |
| Authors: | YUAN Zhixiang JIANG Changjun |
| |
| Affiliation: | YUAN Zhixiang1,2,JIANG Changjun1 |
| |
| Abstract: | This Paper analyses the cryptographic protocol models and introduces a kind of analysis tool called timed Petri net, which is served as the formal specification tool of SET (secure electronic transaction) protocol. Requirements for payment transaction in the SET protocol are formally represented, and then their security is discussed and analyzed. |
| |
| Keywords: | Petri net Electronic commerce SET Cryptographic protocol |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
