论文《多方不可否认协议的增广CSP建模与分析》发表于第十九届全国网络与数据通信学术会议,提出了一种基于增广CSP模型的多方不可否认协议分析方法。该研究通过形式化建模手段,对协议的安全性与正确性进行了深入分析,有效提升了多方通信中的不可否认性保障能力,为构建安全可靠的网络通信协议提供了理论支持。
举报