A Correct-by-Construction Model for Attribute-Based Access Control.
Hania GadoucheFarah ZoubeyrAbdelkamel TariPublished in: MEDI (2018)
Keyphrases
- computational model
- probabilistic model
- theoretical analysis
- sensitivity analysis
- prior knowledge
- probability distribution
- mathematical model
- simulation model
- high level
- theoretical framework
- input data
- formal model
- neural network model
- experimental data
- statistical model
- em algorithm
- neural network
- management system
- objective function
- similarity measure
- artificial intelligence
- information retrieval
- machine learning