返回
Secure software development: leveraging application call graphs to detect security vulnerabilities
DOI:10.7717/peerj-cs.2641.png)
摘要
En 中文
软件开发生态标准的不一致性常常会导致漏洞,这些漏洞可能危及应用程序的密码学完整性。这种情况可能导致加密过程不完整或存在缺陷。漏洞可能表现为缺失、绕过或执行不当的加密函数,或关键密码机制的缺失,最终削弱安全目标。本文介绍了一种使用动态和静态分析检测漏洞的全面方法,重点关注密码函数支配树。该策略系统性地降低了密码应用中完整性受损的可能性。开发了一种分层和模块化模型,通过映射各组件中密码函数调用的整个流程来维护完整性。提取密码函数调用图和支配树,并随后采用集成的动态和静态技术进行分析。提取的信息与相关密码模块中预期的函数调用序列进行严格比对,以识别和定位潜在的安全问题。实验结果表明,所提出的方法显著提高了密码应用中漏洞检测的准确性和全面性,增强了实现安全性和对误用漏洞的抵御能力。
Keyword:
Network security
Secure software development
Authentication
Intrusion detection
Security vulnerabilities
Data protection
期刊
IF:
2.5
论文数:
3.4K
被引数:
6.9K
机构
引用论文
An Empirical Study on Correlations Between Deep Neural Network Fairness and Neuron Coverage Criteria深度神经网络公平性与神经元覆盖准则相关性实证研究
Research on Dynamic Searchable Encryption Method Based on Bloom Filter基于布隆过滤器(Bloom Filter)的动态可搜索加密方法研究
Throughput Maximization for Multipath Secure Transmission in Wireless Ad-Hoc Networks无线ad-hoc网络中多径安全传输的吞吐量最大化
Frontier hotspots and trend evolution of cultural and creative design in China—an empirical research on CNKI-based bibliometrics中国文化创意设计的前沿热点与趋势演变——一项基于CNKI的文献计量学实证研究
Password Cracking with Brute Force Algorithm and Dictionary Attack Using Parallel Programming使用并行编程的暴力算法和字典攻击进行密码破解
A mechanism to ensure identity-based anonymity and authentication for IoT infrastructure using cryptography一种利用密码学为物联网基础设施提供基于身份的匿名性和认证的机制

