基于静态分析的密码学误用检测研究
首发时间:2023-03-17
摘要:在程序开发过程中一般利用密码学算法库提供的方法来实现数据加密等密码学需求。然而,目前的研究表明由于开发者密码学相关知识的匮乏,不少应用中引入了密码学误用。针对这一问题,本文研究分析了代码中引入密码学误用的成因,并根据密码学误用的特点,针对C/C++代码中与OpenSSL有关的密码学误用问题,提出了一种密码学误用检测流程。根据实验结果,本文提出的检测技术要优于目前常见的各种C/C++代码安全检测工具
关键词: 软件安全,程序分析,密码学误用
For information in English, please click here
Research on Cryptographic Misuse Detection Based on Static Analysis
Abstract:In the process of software development, cryptographic algorithm libraries are often used to implement cryptographic requirements such as data encryption. However, current research shows that due to the lack of developers' knowledge of cryptography, many applications have introduced cryptographic misuse. To address this issue, this paper analyzes the causes of cryptographic misuse in code and proposes a cryptographic misuse detection process for OpenSSL-related cryptographic misuse issues in C/C++ code based on the characteristics of cryptographic misuse. According to experimental results, the proposed detection technology in this paper outperforms various common C/C++ code security detection tools.
Keywords: Software Security, Code analysis, Cryptographic misuse
基金:
引用
No.****
同行评议
勘误表
基于静态分析的密码学误用检测研究
评论
全部评论