SAT-solving approaches to context-aware enterprise network security management

John Homer, Xinming Ou. SAT-solving approaches to context-aware enterprise network security management. IEEE Journal on Selected Areas in Communications, 27(3):315-322, 2009. [doi]

Abstract

Abstract is missing.