论文部分内容阅读
双重数字签名是保障电子交易中持卡人、商户及银行三方安全传输信息的重要技术之一。Petri网是一种描述和验证密码协议的有效手段。利用Petri网从静态和动态两方面仿真分析双重数字签名在电子支付系统中的应用。在静态描述方面,建立了双重数字签名的Petri网模型,并给出形式化描述。在动态验证方面,采用可达树分析此密码协议,验证了可达性、有界性、活性等性质。同时分析表明双重数字签名具有抵抗非法入侵的能力,可以提高电子支付系统的安全性。
Double digital signatures are one of the important technologies for securing the secure transfer of information between cardholders, merchants and banks in electronic transactions. Petri nets are an effective means of describing and verifying cryptographic protocols. Using Petri Net to Simulate and Analyze the Application of Double Digital Signature in Electronic Payment System from Static and Dynamic. In the static description, a double digital signature Petri net model is established and a formal description is given. In the aspect of dynamic verification, reachability tree is used to analyze this cryptographic protocol to verify the reachability, boundedness and activity properties. Simultaneous analysis shows that dual digital signature has the ability of resisting illegal invasion and can improve the security of electronic payment system.