Efficient Algorithm for Detecting Firewall Rule Conflict. - Yan Xu; Zhaoxia Wei; Qingrong Tang (INCoS, 2013)