Login / Signup
Formal validation of automated policy refinement in the management of network security systems.
João Porto de Albuquerque
Heiko Krumm
Paulo Lício de Geus
Published in:
Int. J. Inf. Sec. (2010)
Keyphrases
</>
security systems
rule based systems
network management
management policies
data processing
security mechanisms
information systems
decision making
data analysis
computer networks
network traffic
biometric data
temporal reasoning
real time
error rate
peer to peer
wireless sensor networks
genetic algorithm