学术工具
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:CodeAuditor:基于约束分析和模型检查的漏洞检测框架
Wang, Lei; Chen, Gui; Wang, Jianan; Zhao, Pengchao; Zhang, Qiang;
机译:基于优化的规则检查静态分析技术的高效漏洞检测
机译:DIAVA:基于流量的框架,用于检测SQL注入攻击和泄漏数据的漏洞分析
机译:基于模型检查的分布式系统跟踪分析框架
机译:基于模型检查的环境辅助生活解决方案分析框架
机译:互操作性约束和需求正式建模和检查框架
机译:基于网络的脆弱性分析和攻击建模的蠕虫检测装置及方法
机译:具有漏洞分析和攻击建模的基于网络的互联网蠕虫检测方法和装置
机译:漏洞分析与攻击建模的基于网络的互联网蠕虫检测方法及装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。