Trusted declassification: : high-level policy for a security-typed language.
Boniface HicksDave KingPatrick D. McDanielMichael HicksPublished in: PLAS (2006)
Keyphrases
- high level
- programming language
- network connection
- low level
- lambda calculus
- trusted computing
- intermediate level
- information security
- security policies
- network security
- access control policies
- access control
- higher level
- trust negotiation
- natural language
- language learning
- higher order
- trust relationships
- lower level
- policy enforcement
- optimal policy
- security requirements
- intrusion detection
- security analysis
- security level
- security management
- trusted platform module
- identity management
- computer security
- key management
- encryption scheme
- security issues
- statistical databases
- low level features
- distributed environment
- privacy preserving