Keyphrases
- wide range
- access control
- security issues
- information assurance
- intrusion detection
- security requirements
- security policies
- theorem proving
- security threats
- database
- network security
- range data
- information security
- case study
- theorem prover
- functional requirements
- computer security
- data security
- security systems
- security problems
- data sets