attack graphs; logic programming; network security; vulnerability;
机译:多个移动施工机器人路径规划的空间模型
机译:为具有多种攻击类型的多目标攻击者/防御者游戏建模
机译:用于建筑热模型的集总参数模型:简化复杂多层结构的解析方法
机译:多主机攻击路径构建的简化模型
机译:基于攻击路径分析的软件安全经济学和威胁建模;利益相关者价值驱动的方法
机译:通过不同中间体的X射线晶体快照31P-NMR光谱和反应路径建模揭示了dUTPase中α-磷酸盐攻击的催化机理
机译:音节模型中多路径的构建与分析