Probabilistic Noninterference in a Concurrent Language.
Dennis M. VolpanoGeoffrey SmithPublished in: J. Comput. Secur. (1999)
Keyphrases
- probabilistic model
- generative model
- bayesian networks
- natural language
- language learning
- context sensitive
- probabilistic approaches
- concurrent programs
- concurrent programming
- probabilistic logic
- target language
- object oriented programming
- language processing
- conceptual graphs
- uncertain data
- intrusion detection
- programming language
- software engineering