Boolean functions; authorisation; binary decision diagrams; computability; data structures; Boolean satisfiability; access control policies; data structure; firewalls; logical operations; model checking firewall policy configurations; reduced ordered binary decision diagrams; search algorithms; BDD; Model checking; SAT;
机译:分布式防火墙配置的验证VS.使用ALCQI(D)的安全策略
机译:BISCAL:基于位向量的空间演算,用于分析防火墙策略中的错误配置
机译:基于正式方法的分布式防火墙和IDS互操作性检查
机译:模型检查防火墙策略配置
机译:防火墙策略图:用于网络防火墙建模,分析和理解的新颖数据结构和算法。
机译:防火墙可防止系统传播来自人类5型腺病毒的载体并抑制口服疫苗的小鼠模型中转基因编码抗原的产生。
机译:自动验证防火墙配置与安全策略的一致性
机译:防火墙和防火墙策略指南。国家标准与技术研究所的建议