Formally Verifying Isolation and Availability in an Idealized Model of Virtualization.
Gilles BartheGustavo BetarteJuan Diego CampoCarlos LunaPublished in: FM (2011)
Keyphrases
- probabilistic model
- mathematical model
- theoretical framework
- learning algorithm
- sensitivity analysis
- high level
- computational model
- genetic algorithm
- prior knowledge
- hierarchical structure
- statistical model
- management system
- neural network model
- conceptual model
- experimental data
- theoretical analysis
- access control
- database
- probability distribution
- cost function
- reinforcement learning
- decision making
- data sets