CLID: A general approach to validate security policies in a dynamic network | IEEE Conference Publication | IEEE Xplore