Obligations in PTaCL. - Jason Crampton; Conrad Williams (STM, 2015)

On Completeness in Languages for Attribute-Based Access Control. - Jason Crampton; Conrad Williams (SACMAT, 2016)

Canonical Completeness in Lattice-Based Languages for Attribute-Based Access Control. - Jason Crampton; Conrad Williams (CODASPY, 2017)

Attribute Expressions, Policy Tables and Attribute-Based Access Control. - Jason Crampton; Conrad Williams (SACMAT, 2017)

Completeness in languages for attribute-based access control. - Conrad Williams (2018)