会议论文《SAODV协议在Isabelle_HOL中的正确性验证》发表于第十六届全国网络与数据通信学术会议(NDCC2008)。该文利用形式化方法，基于Isabelle_HOL对SAODV协议进行了严格的形式化建模与正确性验证，确保了协议在动态网络环境中的可靠性和安全性，为无线自组网协议的可靠性研究提供了理论支持。
文档为pdf格式，0.32MB，总共5页。
举报
