Title appears on item as: Ph. D. dissertation: The formalisation of authorisation systems.
Originally presented as the author's thesis (Ph.D.)--University of Bath, 2004.
The formalisation of authorisation systems by Ben Mankin. Published by University of Bath, Department of Computer Science in 2005. Publication and catalogue information, links to buy online and reader comments.