A Modular Runtime Enforcement Model Using Multi-traces.
Rania TalebSylvain HalléRaphaël KhouryPublished in: FPS (2021)
Keyphrases
- computational model
- mathematical model
- probabilistic model
- sensitivity analysis
- high level
- real time
- formal model
- databases
- information retrieval
- database systems
- closed form
- probability distribution
- theoretical framework
- access control
- experimental data
- statistical model
- theoretical analysis
- data structure
- neural network
- data sets