Yanyan Yang Charles U. Martel Shyhtsun Felix Wu CLID: A general approach to validate security policies in a dynamic network. 1-10 2007 conf/im/2007 Integrated Network Management http://dx.doi.org/10.1109/INM.2007.374764 db/conf/im/im2007.html#YangMW07