Noninterference and the composability of security properties.
Daryl McCulloughPublished in: IEEE Symposium on Security and Privacy (1988)
Keyphrases
- security properties
- security requirements
- security policies
- formal model
- security analysis
- security protocols
- security vulnerabilities
- access control
- formal methods
- network security
- cryptographic protocols
- key agreement
- security mechanisms
- source code
- artificial intelligence
- real time
- smart card
- response time
- object oriented
- information systems