| 基于Petri网的双重数字签名的描述与验证 |
| |
| 引用本文： | LIN Song,李舟军.基于Petri网的双重数字签名的描述与验证[J].系统仿真学报,2008,20(9):2498-2501. |
| |
| 作者姓名： | LIN Song 李舟军 |
| |
| 作者单位： | 北京航空航天大学计算机学院,北京,100083 |
| |
| 基金项目： | 国家自然科学基金，教育部高等学校博士学科点专项科研基金 |
| |
| 摘 要： | 双重数字签名是保障电子交易中持卡人、商户及银行三方安全传输信息的重要技术之一。Petri网是一种描述和验证密码协议的有效手段。利用Petri网从静态和动态两方面仿真分析双重数字签名在电子支付系统中的应用。在静态描述方面,建立了双重数字签名的Petri网模型,并给出形式化描述。在动态验证方面,采用可达树分析此密码协议,验证了可达性、有界性、活性等性质。同时分析表明双重数字签名具有抵抗非法入侵的能力,可以提高电子支付系统的安全性。
|
| 关 键 词： | Petri网 密码协议 可达树 双重数字签名 |
Describing and Verifying Dual Digital Signature Using Petri Net |
| |
| LIN Song,LI Zhou-jun.Describing and Verifying Dual Digital Signature Using Petri Net[J].Journal of System Simulation,2008,20(9):2498-2501. |
| |
| Authors: | LIN Song LI Zhou-jun |
| |
| Abstract: | |
| |
| Keywords: | petri net cryptographic protocol reachability tree dual digital signature |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
