基于静态分析的密码协议业务逻辑缺陷检测方法  

作　　者：王震[1] 周超[1] 苗泉强 樊永文 

机构地区：[1]中国人民解放军63891部队

出　　处：《数字技术与应用》2022年第11期230-233,共4页Digital Technology & Application

摘　　要：本文介绍了基于静态分析的密码协议业务逻辑缺陷检测的具体方法,从检测框架出发,引出了方法实现的三个关键问题,然后对模型代码解析、协议代码信息抽取以及映射关系建立这三个关键问题进行了详细的分析论述。对密码协议进行形式化分析,从协议业务逻辑层面上证明密码协议的安全或者是找出协议逻辑层面的缺陷,一旦发现协议的缺陷,协议规范需要重新修订,并且协议代码也要做相应的修改[1]。

关 键 词：业务逻辑层 形式化分析 信息抽取 缺陷检测 密码协议 静态分析 检测框架 协议规范 

分 类 号：TP21[自动化与计算机技术—检测技术与自动化装置]