Implementing a Calculus for Distributed Access Control in Higher Order Logic and HOL. - Thumrongsak Kosiyatrakul; Susan Older; Polar Humenn; Shiu-Kai Chin (MMM-ACNS, 2003)

A Modal Logic for Role-Based Access Control. - Thumrongsak Kosiyatrakul; Susan Older; Shiu-Kai Chin (MMM-ACNS, 2005)