Synthesis of a Permissive Security Monitor.
Narges KhakpourCharilaos SkandylasPublished in: ESORICS (1) (2018)
Keyphrases
- information security
- real time
- security policies
- network security
- security vulnerabilities
- social networks
- program synthesis
- security threats
- intrusion detection
- security problems
- security requirements
- security mechanisms
- security analysis
- computer security
- high security
- information assurance
- security systems
- data security
- key management
- monitoring system
- access control
- neural network
- security protocols
- functional requirements
- security issues
- security properties
- database systems
- data sets
- database