Login / Signup
Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets.
Dianxiang Xu
Michael Kent
Lijo Thomas
Tejeddine Mouelhi
Yves Le Traon
Published in:
IEEE Trans. Computers (2015)
Keyphrases
</>
role based access control
model based testing
access control
security policies
test cases
multi domain
software development
fine grained
data security
software design
access control policies
sequence diagrams
information systems
software testing
privacy policies