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

John Homer Xinming Ou

Published in: IEEE J. Sel. Areas Commun. (2009)

Keyphrases

context aware
security management
sat solving
context awareness
enterprise network
mobile devices
ambient intelligence
mobile computing
ubiquitous computing
security issues
smart home
boolean satisfiability
multi tier
security policies
sat solvers
mobile applications
query processing