A Correctness Proof for the Volpano/Smith Security Typing System.
Gregor SneltingDaniel WasserrabPublished in: Arch. Formal Proofs (2008)
Keyphrases
- intrusion detection
- neural network
- computer security
- security requirements
- information security
- access control
- network security
- security problems
- provably correct
- statistical databases
- security issues
- database systems
- key management
- databases
- data security
- security model
- high security
- security management
- security threats
- security level
- sensitive data
- theorem proving
- normal form