Keyphrases
- information security
- intrusion detection
- security policies
- security requirements
- access control
- security problems
- statistical databases
- network security
- logic programming
- security issues
- information assurance
- classical logic
- security threats
- multi valued
- functional requirements
- computer security
- security analysis
- security systems
- concurrent programming
- security measures
- automated reasoning
- security level
- database
- probability theory
- information systems