[发明专利]以攻击者为中心的安全协议验证方法

摘要

本发明属于计算机安全协议验证方法领域，具体涉及一种以攻击者为中心的安全协议验证方法，包括：1、依据协议验证目标，设定初始状态；2、提取状态中的待处理事件，依次判断现在状态和事件是否符合规则TRules；3、对Resultstate中的状态进行判断，若存在某一状态，其攻击者知识中包含了协议需要保密的参数，则该状态为秘密性异常状态；若存在某一状态，其协议会话场景异常，则该状态认证性异常状态；否则，该协议设计是安全的。本发明的目标是在状态扩展过程中考虑时序矛盾，状态扩展引入回溯机制，在状态搜索过程中不会出现这类无效状态的扩展分支，中间状态数目减少；状态扩展是以攻击者需求为驱动的，方式不固定，分支更少，减少了状态空间数目。

主权项

1.一种以攻击者为中心的安全协议验证方法，其特征在于：该方法包括以下步骤：步骤1：对协议运行过程中的合法主体和攻击者行为进行建模，依据协议验证目标，设定初始状态，初始状态设定为只包含一个角色实例；步骤2：提取状态中的待处理事件，依次判断现在状态和事件是否符合规则TRules，若符合，则按相应状态转移规则更新状态，继续步骤2过程；否则，该状态进入Resultstate集合中；步骤3：对Resultstate中的状态进行判断，若存在某一状态，其攻击者知识中包含了协议需要保密的参数，则该状态为秘密性异常状态；若存在某一状态，其协议会话场景异常，则该状态认证性异常状态；否则，该协议设计是安全的。