Specifications for Multi-Level Security and a Hook-Up Property.
Daryl McCulloughPublished in: IEEE Symposium on Security and Privacy (1987)
Keyphrases
- functional requirements
- information security
- security issues
- access control
- intrusion detection
- security threats
- high level
- computer security
- formal specification
- security requirements
- information assurance
- security problems
- security systems
- key management
- network security
- specification language
- malware detection
- security management
- security measures
- blind signature scheme
- security policies
- control flow
- software systems
- data mining
- database