Formal Model of Interrupt Program from a Probabilistic Perspective.
Yongxin ZhaoYanhong HuangJifeng HeSi LiuPublished in: ICECCS (2011)
Keyphrases
- formal model
- probabilistic knowledge
- formal models
- probabilistic model
- bayesian networks
- generative model
- viewpoint
- security properties
- uncertain data
- probabilistic logic
- security patterns
- information theoretic
- conditional probabilities
- data driven
- computer programs
- static analysis
- programming environment
- database
- program execution