The following publications are possibly variants of this publication:
- First Step Towards Automatic Correction of Firewall Policy FaultsFei Chen, Alex X. Liu, JeeHyun Hwang, Tao Xie. lisa 2010: [doi]
- First step towards automatic correction of firewall policy faultsFei Chen, Alex X. Liu, JeeHyun Hwang, Tao Xie. taas, 7(2):27, 2012. [doi]
- A fault model and mutation testing of access control policiesEvan Martin, Tao Xie. WWW 2007: 667-676 [doi]
- Tri-Modularization of Firewall PoliciesHaiNing Chen, Omar Chowdhury, Ninghui Li, Warut Khern-am-nuai, Suresh Chari, Ian Molloy, Youngja Park. SACMAT 2016: 37-48 [doi]
- Formal Verification of Firewall PoliciesAlex X. Liu. icc 2008: 1494-1498 [doi]
- Firewall policy verification and troubleshootingAlex X. Liu. cn, 53(16):2800-2809, 2009. [doi]