会议论文《与SPIN相关的模型检测研究》发表于第六届中国信息和通信安全学术会议(CCICS2009)。该文探讨了基于SPIN工具的模型检测技术，分析了其在验证通信协议安全性中的应用。研究提出了改进的模型检测方法，以提高系统正确性和可靠性，对信息安全领域具有重要参考价值。
文档为pdf格式，0.35MB，总共9页。
举报
