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