基于Scyther的密钥建立协议设计 - 2013年中国信息通信研究新进展研讨会暨第五届数字媒体技术专业建设研讨会.pdf

5 0

2026-1-10 16:34 | 查看全部阅读模式

会议论文《基于Scyther的密钥建立协议设计》探讨了利用Scyther工具对密钥建立协议进行形式化分析与设计的方法。该研究旨在提高密钥协商过程的安全性，通过模型检测技术验证协议的正确性与安全性。文章结合2013年中国信息通信研究的新进展，为数字媒体技术专业建设提供了理论支持与实践参考。

文档为pdf格式，1.14MB，总共5页。