Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Andrew Simpson 0001
Latest
Formalising and Validating RBAC-to-XACML Translation Using Lightweight Formal Methods
On the Modelling and Analysis of Amazon Web Services Access Policies
Towards Formally Templated Relational Database Representations in Z
Cite
×