Security type error diagnosis for higher-order, polymorphic languages.
Jeroen WeijersJurriaan HageStefan HoldermansPublished in: PEPM (2013)
Keyphrases
- higher order
- type checking
- error rate
- expressive power
- lower order
- object oriented languages
- intrusion detection
- security issues
- language independent
- medical diagnosis
- high order
- error bounds
- model based diagnosis
- computer security
- security systems
- security policies
- security requirements
- access control
- markov random field
- pairwise
- error analysis
- information security
- key management
- security analysis
- security problems
- database query languages