Compositional Security Definitions for Higher-Order Where Declassification.
Jan MenzAndrew K. HirschPeixuan LiDeepak GargPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- higher order
- natural images
- information assurance
- high order
- intrusion detection
- access control
- security problems
- information security
- network security
- security issues
- security requirements
- pairwise
- security properties
- security level
- security analysis
- statistical databases
- security mechanisms
- data security
- low order
- security policies
- markov random field
- security threats
- security management
- functional requirements
- network management
- security model
- high security
- security vulnerabilities
- conditional random fields