摘要
双重签名是安全电子交易协议的一个重要技术,它将摘要和数字签名结合起来,使得交易中的各方仅得到部分消息即可完成验证从而达成多方协议。论文利用Petri网对双重签名进行建模和形式化描述,并就安全性对此模型进行了分析。
Dual signature is an important feature of Secure Electronic Transaction protocol. Its combination of hashes and digital signatures makes several parties agree on a transaction without each of them receiving a complete view of transaction. In this paper, dual signature is modeled and formally specified on the basis of Petri nets, and then its security is discussed and analyzed.
出处
《信息安全与通信保密》
2007年第11期73-74,77,共3页
Information Security and Communications Privacy