|
论文《基于符号模型检测的安全协议验证》发表于2011年青年通信国际会议(ICYC2011)，主要探讨了利用符号模型检测技术对安全协议进行形式化验证的方法。文章提出了一种有效的验证框架，能够识别协议中的潜在安全漏洞，如重放攻击和中间人攻击。通过引入符号执行与模型检测相结合的方式，提升了协议验证的准确性和效率，为安全协议的设计与分析提供了理论支持和技术参考。 文档为pdf格式，0.96MB，总共4页。
- 文件大小:
- 983.04 KB
- 下载次数:
- 60
- 基于符号模型检测的安全协议验证 - 2011年青年通信国际会议(ICYC2011).pdf
-
高速下载
| 
