Static analysis; Program slicing; Vulnerability ontology model; Reasoning;
机译:通过IT / I&C系统的模型的漏洞分析和ISO符合性证明增加了IT安全性
机译:基准测试方法以比较Web应用程序静态分析工具检测OWASP十大安全漏洞
机译:基于开发方案将各种静态分析工具结合在一起以解决Web安全漏洞的实证研究
机译:基于本体模型的安全漏洞静态分析
机译:使用静态分析技术检查安全代码,以检测和修复安全漏洞
机译:通过OQuaRE中静态和动态缩放功能的组合来支持对本体演化过程的分析
机译:组合静态,动态和交互式分析安全测试工具在Web应用程序中提高OWASP十大安全漏洞检测
机译:静态模型分析的实用本体框架