A Framework for Policy Inconsistency Detection in Software-Defined Networks. - Lee, Seungsoo; Woo, Seungwon; Kim, Jinwoo; Nam, Jaehyun; Yegneswaran, Vinod; Porras, Phillip; Shin, Seungwon (IEEE/ACM Transactions on Networking, 2022)