会议论文《基于Spin_Promela的Woo-Lam协议安全性质高效验证》发表于2014全国理论计算机科学学术年会。该文利用Spin_Promela工具对Woo-Lam协议进行形式化建模与验证，重点分析其安全性属性，如互操作性和抗攻击能力。通过自动化验证方法，提高了协议分析的效率和准确性，为网络安全协议的设计与评估提供了有效支持。
文档为pdf格式，0.29MB，总共7页。
举报
