[发明专利]网络协议安全建模方法

摘要

本发明公开了一种网络协议安全建模方法，包括以下步骤：步骤一、针对网络协议的定义包括语法、语义与规则进行抽象得到多个CSP进程，由所述进程通过进程代数算子得到网络协议基本模型；步骤二、针对入侵者的内容包括语法、语义与规则进行抽象得到多个CSP进程，由所述进程通过进程代数算子得到入侵者模型；步骤三、由所述网络协议基本模型与所述入侵者模型得到相互关联的协议模型；步骤四，进行验证和分析，得到缺陷。与现有技术相比，本发明通过在设计阶段对网络协议进行形式化的建模，可以准确的描述协议，进而对协议模型进行验证，可以提早发现协议的缺陷。

主权项

一种网络协议安全建模方法，其特征在于，该方法包括以下步骤：步骤一、针对网络协议的定义包括语法、语义与规则进行抽象得到多个CSP进程，由所述进程通过进程代数算子得到网络协议基本模型；步骤二、针对入侵者的内容包括语法、语义与规则进行抽象得到多个CSP进程，由所述进程通过进程代数算子得到入侵者模型；步骤三、由所述网络协议基本模型与所述入侵者模型，经过specModel=P1||P2....||Pn并行运算得到相互关联的协议模型，其中||为CSP并行运算算子；P1、P2~Pn分别表示协议运行中各个主体进程与入侵者进程；步骤四、运用验证工具FDR2对上述步骤三所获得的协议模型进行协议性质的验证，协议性质是协议需要满足的约束，表示为CSP进程：property=Ps1||Ps2....|Psn；（其中Ps1、Ps2~Psn分别描述约束的进程）；FDR通过验证specModel的状态迁移系统是否是property的一个模型来判断约束性质是否满足；如果不满足性质，得出一个反例路径，该路径即是协议的缺陷。