...
机译:使用正式模型进行防火墙策略优化
机译:网络防火墙中的正式安全策略实现
机译:通过关系代数和Raind 2D-Box模型检测防火墙中的策略异常
机译:通过关系代数和Raind 2D-Box模型检测防火墙中的策略异常
机译:赞成:为快速正式验证建模IPv6防火墙
机译:防火墙策略图:用于网络防火墙建模,分析和理解的新颖数据结构和算法。
机译:防火墙可防止系统传播来自人类5型腺病毒的载体并抑制口服疫苗的小鼠模型中转基因编码抗原的产生。
机译:正式网络模型及其在防火墙策略中的应用(UpF防火墙)
机译:防火墙和防火墙策略指南。国家标准与技术研究所的建议