Keyphrases
- formal model
- information security
- computer security
- security properties
- security issues
- access control
- intrusion detection
- formal methods
- data mining
- statistical databases
- security requirements
- security mechanisms
- security problems
- security level
- security management
- cyber security
- formal specification
- network security
- computer systems
- information assurance
- high security
- security vulnerabilities
- security measures
- functional requirements
- data security
- data integrity
- key management
- real time
- databases