Firewalls; Firewall Policies; Directed Acyclic Graphs; Event Sequence Graphs; Firewall Testing; Security Testing;
机译:分布式防火墙配置的验证VS.使用ALCQI(D)的安全策略
机译:关于“基于有向无环图的路径模型的新推理测试”的更正说明
机译:基于有向无环图(DAG)模型的敏捷软件测试机制在各种平台中的研究
机译:第一届基于模型的验证和验证定向无环图建模防火墙测试安全策略研讨会
机译:防火墙策略图:用于网络防火墙建模,分析和理解的新颖数据结构和算法。
机译:勘误:构造有向无环图(ESC-DAG)的证据综合:建立有向无环图的一种新颖而系统的方法
机译:第一次基于模型的验证与验证研讨会:针对防火墙测试的安全策略的有向非循环图建模
机译:利用有向无环图和时间序列计量经济学对美国大豆市场进行建模:评估美国市场对高豆粕价格的影响