基于Petri网的双重数字签名的描述与验证

• 作者: LIN Song 李舟军
• 来源期刊: 系统仿真学报
• 学科: 工学
• 关键词: Petri网 密码协议 可达树 双重数字签名
• 年，卷（期）: 2008,（9）
• 所属期刊栏目: 短文
• 页码范围: 2498-2501
• 页数: 4页
• 分类号: TP309
• 字数: 4314字
• 语种: 中文

摘要

双重数字签名是保障电子交易中持卡人、商户及银行三方安全传输信息的重要技术之一.Petri网是一种描述和验证密码协议的有效手段.利用Petri网从静态和动态两方面仿真分析双重数字签名在电子支付系统中的应用.在静态描述方面,建立了双重数字签名的Petri网模型,并给出形式化描述.在动态验证方面,采用可达树分析此密码协议,验证了可达性、有界性、活性等性质.同时分析表明双重数字签名具有抵抗非法入侵的能力,可以提高电子支付系统的安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李舟军	北京航空航天大学计算机学院	136	2221	23.0	43.0
2	LIN Song	北京航空航天大学计算机学院	1	11	1.0	1.0