退出
我的积分:
中文文献批量获取
外文文献批量获取
陈锋; 张怡; 苏金树; 韩文报;
国防科学技术大学,计算机学院,湖南,长沙,410073;
第二军医大学,网络信息中心,上海,200433;
解放军信息工程大学,信息工程学院,河南,郑州,450002;
脆弱性; 攻击图; 有效攻击路径; 最优弥补集; 贪婪算法;
机译:已知对和选择文本攻击的形式化表征和自动分析
机译:两种心电图静息心电图信号分析设备,多功能心电图或MCG(又名3DMP)与定量冠状动脉造影(用于检测相关冠状动脉狭窄(> 70%))的比较-所有患者的荟萃分析在美国进行的已发表试验和分析
机译:UML序列图与形式化规范方法的集成—基于Z的形式化解决方案
机译:使用紧凑型攻击图分析网络安全的两种可扩展方法
机译:使用概率模型检查对DNS攻击进行形式化分析及其对策。
机译:两种心电图静息的ECG信号分析设备,多功能心电图或MCG(又名3DMP)与定量冠状动脉造影(用于检测相关冠状动脉狭窄(> 70%))的比较-所有患者的荟萃分析在美国进行的已发表试验和分析
机译:攻击图的两种形式化分析
机译:信息保护技术的形式化方法任务1:基于形式语法的方法和模拟计算机网络攻击工具第二部分
机译:分析可能导致攻击的代码漏洞的形式化方法
机译:用于分析头发样本与两种头发颜色的混合物以及所述两种颜色的一般反射光谱的代表的机制,用于分析头发样本与两种头发颜色的混合物与代表性的一般光谱的混合物的机制两种颜色,用于分析头发样本与两种头发颜色的混合物以及所述两种颜色的代表反射光谱的代表的方法,用于分析头发样本与两种头发颜色的混合物及代表的混合物的机理。所述两种颜色的反射光谱,用两种头发颜色的混合物染发的方法和所述两种颜色的一般反射光谱,选择用于用两种头发颜色的混合物染头发的染发剂的方法和代表两种颜色伤口的总反射光谱
机译:通过逻辑网络分析提取过程意识分析攻击图
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。