A Metamodel of the B Modeling of Access-Control Policies: Work in Progress.

Jérémy Milhau Marc Frappier Régine Laleau

Published in: FPS (2011)

Keyphrases

metamodel
modeling language
uml profile
model driven
access control policies
development process
black box
data model
conflict resolution
life cycle
access control
access control systems
software systems
distributed environment
platform independent