论文部分内容阅读
多方不可否认协议是允许在消息传递中出现多于两方的参与者进行消息交换的网络安全协议。在多方不可否认协议中重要的任务是解决消息交换的公平性与安全性,目前出现了许多基于各种方案的处理办法。作者在对其中具有代表性的一种无可信第三方的多方不可否认协议进行研究的基础上,对其进行了新的改进,并使用SVO逻辑对新协议进行形式化分析论证。