Methods
Conferences
Case Studies
Publications
Keynotes
Committee
David J. Power
Latest
Formalising and Validating RBAC-to-XACML Translation Using Lightweight Formal Methods
On the Modelling and Analysis of Amazon Web Services Access Policies
Cite
×