论文部分内容阅读
提出了基于事件类型的网络协议建模方法，并在模型的基础上对协议进行检测实验。协议的模型检查实验中最重要的是状态模型的描述，其决定了检测结果的精确性和有效性。事件类型的状态描述方法是通过外部事件和内部事件建立一个完整有效的状态层次模型，模型检查算法对建立的状态模型进行检测，最终得到性质检测结果。本文通过对WEP协议和四次握手协议进行事件类型的建模分析证明了状态层次方法有利于网络协议的建模与检测。