AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:结合静态源代码分析和威胁评估模型以测试开源软件安全性
Ghebrehiwet Ghebremedhin Abraham;
机译:静态分析源代码安全性:评估针对SAMATE测试的工具
机译:Athena:一种通过从源代码和预期的软件行为中提取策略来自动生成安全测试预告片的框架
机译:使用开放源代码中的可利用缓冲区溢出来测试静态分析工具
机译:评估源代码静态分析有效性,以将安全要求实施到软件开发过程中
机译:Java源代码的高效静态分析,以确保安全
机译:结合来自多个数据源的信息以创建多变量风险模型:一种新方法的图解和初步评估
机译:关于软件安全评估静态分析的组合 - 以开源电子政务项目为例
机译:测试软件体系结构实现的符合性的方法,涉及在确定源代码和结构模型期间以及在结构模型比较期间选择性地抑制对信息的新确定
机译:静态分析中软件源代码标识自然语义的软件验证方法
机译:构建多代表学习模型,用于源代码的静态分析
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。