Confidentiality for Probabilistic Multi-threaded Programs and Its Verification.
Tri Minh NgoMariëlle StoelingaMarieke HuismanPublished in: ESSoS (2013)
Keyphrases
- multi threaded
- operating system
- probabilistic model
- multi core processors
- computer architecture
- computer programs
- information flow
- bayesian networks
- access control
- computer systems
- model checking
- database systems
- genetic algorithm
- genetic programming
- distributed systems
- formal methods
- general purpose
- software engineering