退出
我的积分:
中文文献批量获取
外文文献批量获取
孙基男; 潘克峰; 陈雪峰; 张君福;
北京大学软件工程国家工程研究中心,北京100871;
卫士通信息产业股份有限公司北京总部,北京100070;
北京北大软件工程股份有限公司,北京100080;
注入类安全漏洞; 符号执行; 程序静态分析; Web应用安全;
机译:使用基于符号执行和切片技术的被动测试:在通信协议验证中的应用
机译:使用进化技术进行基于符号执行的测试
机译:通过基于等离子体的双极脉冲离子注入技术沉积的类金刚石碳膜的热稳定性
机译:基于ISO / IEC 15118的电动汽车充电技术中安全漏洞的分析与对策研究
机译:一种新颖的基于神经网络的系统,用于评估与信息技术安全漏洞相关的风险。
机译:衍生技术与基于GC-MS的代谢物谱分析相结合的植物中酚类和环状化合物的分析
机译:基于神经网络的基于神经网络,用于评估与信息技术安全漏洞相关的风险
机译:基于地理空间多媒体技术的山区公路交通安全漏洞信息平台
机译:基于符号执行的计算机系统意外交互分析的设备和方法
机译:基于静态分析和符号执行的环境数据优化
机译:基于静态分析和符号执行的环境数据细化
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。