会议论文《密码算法的自动验证 - 第十一届保密通信与信息安全现状研讨会》探讨了如何利用自动化工具对密码算法进行形式化验证。该文提出了一个高效的验证框架，旨在提高密码系统安全性评估的准确性和效率。研究结合了形式化方法与实际应用需求，为信息安全领域提供了新的技术思路。
文档为pdf格式，0.13MB，总共2页。
举报
