A SAT-based autonomous strategy for security vulnerability management.
Martín BarrèreRemi BadonnelOlivier FestorPublished in: NOMS (2014)
Keyphrases
- risk assessment
- risk analysis
- security vulnerabilities
- security management
- network management
- information security management
- data management
- security issues
- network security
- business continuity
- decision making
- buffer overflow
- network monitoring
- information security
- search strategy
- security policies
- management system
- intrusion detection
- information management
- human operators
- statistical databases
- access control
- sat solvers
- cooperative
- security mechanisms
- enterprise systems
- planning problems
- security problems
- wireless sensor networks
- active learning