Typechecking Higher-Order Security Libraries.
Karthikeyan BhargavanCédric FournetNataliya GutsPublished in: APLAS (2010)
Keyphrases
- higher order
- natural images
- information security
- high order
- intrusion detection
- network security
- access control
- low order
- statistical databases
- pairwise
- information assurance
- multimedia
- computer security
- security issues
- security policies
- security problems
- security management
- digital libraries
- security mechanisms
- computer networks
- intrusion detection system
- security analysis
- data security
- security requirements
- security threats
- lower order
- security measures
- security vulnerabilities
- markov random field
- lambda calculus