符号化模型
符号化模型检测网络安全协议（实用3篇）
摘要 简要回顾了形式化方法的发展历程，阐述了形式化分析的定义、方法、重要*及主要研究内容，讨论了形式规约语言与方法，以及演绎*和模型检测等形式化验证方法。密码协议安全*的分析是网络安全的一个难题，运用形式化方法对密码协议进行分析一直是该领域的研究热点。本文以一个实例阐述运用模型检测工具SMV对TMN密码协议进行形式分析，在建立一个有限状态系统模型和刻画TMN密码协议安全*质的基础上
