An Automatic Inference of Minimal Security Types.
Dominik BollmannSteffen LortzHeiko MantelArtem StarostinPublished in: ICISS (2015)
Keyphrases
- intrusion detection
- information security
- security issues
- network security
- statistical databases
- inference control
- data driven
- fully automatic
- semi automatic
- probabilistic inference
- security requirements
- security systems
- security problems
- graphical models
- knowledge base
- computer security
- security analysis
- security threats