一种基于状态偏离分析的访问控制漏洞检测方法及系统
实质审查的生效
摘要
本发明公开一种基于状态偏离分析的访问控制漏洞检测方法及系统，该方法包括：将Web应用程序的源代码作为输入，通过静态分析提取出站点地图以及代码中包含的预期行为逻辑，然后将生成的站点地图作为动态分析的引导，并输入多角色多用户的登录凭据，用以获得不同登录状态下的HTTP请求与响应；使用有限状态机FSM对Web应用程序进行建模，将访问控制漏洞的发现形式化为预期FSM行为模型和实际FSM行为模型之间的差异性比对，识别出访问控制漏洞并生成漏洞报告。本发明能够检测出静态分析难以发现的复杂逻辑，而且指向性的功能测试也会使得检测效率大幅度提高，能够实现全路径覆盖。
基本信息
专利标题 ：
一种基于状态偏离分析的访问控制漏洞检测方法及系统
专利标题（英）：
暂无
公开（公告）号 ：
CN114417346A
申请号 ：
CN202111524450.7
公开（公告）日 ：
2022-04-29
申请日 ：
2021-12-14
授权号 ：
暂无
授权日 ：
暂无
发明人 ：
魏强王允超武泽慧马琪灿王新蕾周国淼
申请人 ：
中国人民解放军战略支援部队信息工程大学
申请人地址 ：
河南省郑州市高新区科学大道62号
代理机构 ：
郑州大通专利商标代理有限公司
代理人 ：
张立强
优先权 ：
CN202111524450.7
主分类号 ：
G06F21/57
IPC分类号 ：
G06F21/57 H04L9/40
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F21/00
防止未授权行为的保护计算机、其部件、程序或数据的安全装置
G06F21/50
监控用户、程序或设备，以维护平台完整。例如：处理器、固件或操作系统
G06F21/57
确保或维持可信任的计算机平台，例如安全引导或断电、版本控制、系统软件检查、安全更新或评估漏洞
法律状态
2022-05-20 ：
实质审查的生效
IPC(主分类) : G06F 21/57
申请日 : 20211214
申请日 : 20211214
2022-04-29 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
