退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过源代码模型检查实现安全漏洞检测
Keqin Li;
机译:SQVDT:源代码安全评估的可扩展定量漏洞检测技术
机译:修改的最大分流顺序自动编码器和易受攻击二进制代码检测的时间延迟神经网络模型
机译:软件模型检查:提取验证模型表格源代码
机译:自动检测源代码中的安全漏洞。
机译:基于动态行为特征的开源软件安全漏洞检测
机译:系统检测源代码中的软件安全漏洞的混合框架
机译:安全内容自动化程序(sCap):自动执行合规性检查,漏洞管理和安全性测量。 (草案)
机译:用于检查安全漏洞的危险代码检测系统及其方法
机译:使用机器学习模型在源代码中自动检测安全漏洞的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。