会议论文《NSPK协议的Spin模型检测》发表于2008年全国开放式分布与并行计算学术年会，主要研究NSPK协议的安全性验证。作者采用Spin工具对协议进行形式化建模与检测，确保其在分布式环境中的正确性与安全性。通过模型检测方法，发现潜在的安全漏洞并提出改进方案，为后续协议设计提供理论支持。
文档为pdf格式，0.22MB，总共4页。
举报
