Security type error diagnosis for higher-order, polymorphic languages.
Jeroen WeijersJurriaan HageStefan HoldermansPublished in: Sci. Comput. Program. (2014)
Keyphrases
- higher order
- type checking
- database query languages
- lambda calculus
- natural images
- high order
- expressive power
- pairwise
- access control
- computer security
- data mining
- markov random field
- security problems
- low order
- language independent
- network security
- information security
- error rate
- statistical databases
- fault diagnosis
- security threats
- intrusion detection
- object oriented languages
- medical diagnosis
- error bounds
- security systems
- security level
- conditional random fields