Metamodelling with Formal Semantics with Application to Access Control Specification.
Jamal Abd-AliKarim El GuemhiouiLuigi LogrippoPublished in: MODELSWARD (2015)
Keyphrases
- access control
- formal semantics
- fine grained
- access control mechanism
- dynamic access control
- data security
- security mechanisms
- security policies
- role based access control
- access control models
- access control policies
- security model
- access control systems
- rbac model
- database security
- modelling language
- theorem prover
- first order logic