软件漏洞
软件漏洞技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
资源总数
500
软件漏洞 热门资料
查看全部 500 份 →软件安全漏洞的静态检测技术
软件安全漏洞问题日益严重,静态漏洞检测提供从软件结构和代码中寻找漏洞的方法。该文研究软件漏洞静态检测的两个主要方面:静态分析和程序验证,重点分析词法分析、规则检查、类型推导、模型检测、定理证明和符号执
2024-05-03
10
洞穴漏气计算
A coupled thermo-hydro-mechanical model for evaluating air leakage from an unlined compressed air energy storage cavern
2021-08-13