Login / Signup
Tool support for UML-based specification and verification of role-based access control properties.
Lionel Montrieux
Michel Wermelinger
Yijun Yu
Published in:
SIGSOFT FSE (2011)
Keyphrases
</>
tool support
role based access control
software development
software tools
access control
design decisions
formal methods
software engineering
software projects
test suite
requirements engineering
databases
real world
model checking
case study
cloud computing