A Logic of Access Control

DOI10.1093/COMJNL/44.1.54zbMath0983.68034OpenAlexW2003452699MaRDI QIDQ5890348

Greg O'Shea, Jason Crampton, George Loizou

Publication date: 14 October 2001

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/44.1.54

zbMATH Keywords

securityaccess control mechanism

Mathematics Subject Classification ID

Theory of operating systems (68N25)

This page was built for publication: A Logic of Access Control