A correct-by-construction model for attribute-based access control.
Hania GadoucheFarah ZoubeyrAbdelkamel TariPublished in: Clust. Comput. (2020)
Keyphrases
- high level
- formal model
- probabilistic model
- cost function
- management system
- parameter values
- parameter estimation
- hybrid model
- linear model
- network model
- object model
- classification models
- simulation model
- sensitivity analysis
- mathematical model
- database
- theoretical analysis
- rough sets
- mobile robot
- search engine
- machine learning
- data mining