基于知识的协议验证方法

摘要

协议验证是一个时空耗费很高的问题，本文将人工智能技术引入协议验证，建立了验证的图搜索模型，定义了协议错误、协议正确程度、验证算法的复杂度等概念。本文还提出了一个基于知识的协议验证算法Ｚ，并分析了其复杂度。