Smatch: Formal dynamic session management model for RBAC.
Frédéric CuppensNora Cuppens-BoulahiaMeriam Ben-Ghorbel-TalbiStephane MorucciNada EssaouiniPublished in: J. Inf. Secur. Appl. (2013)
Keyphrases
- formal model
- management system
- computational model
- database
- genetic algorithm
- probabilistic model
- theoretical analysis
- theoretical framework
- experimental data
- formal models
- information management
- neural network model
- conceptual model
- statistical model
- mathematical model
- software engineering
- information systems
- neural network
- data sets