The formalisation of authorisation systems

B Mankin

Research output: Book/ReportOther report

46 Downloads (Pure)
Original languageEnglish
PublisherDepartment of Computer Science, University of Bath
Publication statusPublished - Oct 2005

Publication series

NameComputer Science Technical Reports
No.CSBU-2005-13
ISSN (Print)1740-9497

Cite this