首页 | 本学科首页   官方微博 | 高级检索  
     

一种基于数据流的软件密码机制自动化分析方法
引用本文:黄宇垚,光焱,杨巨,康绯. 一种基于数据流的软件密码机制自动化分析方法[J]. 信息工程大学学报, 2021, 22(2): 191-199
作者姓名:黄宇垚  光焱  杨巨  康绯
作者单位:信息工程大学,河南 郑州 450001
基金项目:国家重点研发计划基金资助项目(2016YFB08011601)
摘    要:对软件密码机制的自动化逆向分析,在漏洞挖掘、恶意代码分析、协议还原等领域发挥着重要作用.针对现有分析方法中存在的机制分析不完整、结果可读性差等问题,提出基于数据流的软件密码机制自动化分析方法,利用动态插桩获取软件运行时信息,定义和识别与密码相关的软件行为,根据行为间数据流关系,从图形和语义两个角度,实现软件密码机制的自...

关 键 词:密码机制  语义分析  数据流  软件行为
收稿时间:2020-08-14
修稿时间:2020-09-02

Automated Analysis Method of Cipher Mechanisms in Software Based on Data Flow
HUANG Yuyao,GUANG Yan,YANG Ju,KANG Fei. Automated Analysis Method of Cipher Mechanisms in Software Based on Data Flow[J]. , 2021, 22(2): 191-199
Authors:HUANG Yuyao  GUANG Yan  YANG Ju  KANG Fei
Affiliation:Information Engineering University, Zhengzhou 450001, China
Abstract:The automated reverse analysis of cipher mechanisms in software plays an important role in software vulnerabilities discovery, malware analysis and recovery of protocols. To solve the problems of incompleteness and poor readability in current methods, an automated analysis method of cipher mechanisms based on data flow is presented to analyze the cipher mechanisms in software. Dynamic binary instrumentation is used to obtain the information of API calls during the running process of software, from which the software behaviors related to cryptography are defined and identified.Furthermore, the cipher mechanisms in software are restored automatically from the graphic as well as semantic perspective, according to the data flow relationship between the software behaviors.The experiment results show that the method analyzes the cipher mechanisms in software automatically and efficiently, and detects the potential security vulnerabilities.
Keywords:cipher mechanisms   semantic analysis   data flow   software behavior
点击此处可从《信息工程大学学报》浏览原始摘要信息
点击此处可从《信息工程大学学报》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号