A Logic of Access Control
From MaRDI portal
Publication:5890349
DOI10.1093/comjnl/44.2.137zbMath0982.68043MaRDI QIDQ5890349
Jason Crampton, Greg O'Shea, George Loizou
Publication date: 14 October 2001
Published in: The Computer Journal (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/f416a9bf7e2b4d5d492f529ec09774d174552745
68N25: Theory of operating systems
Related Items
A Linear Logic of Authorization and Knowledge, Permission to speak: a logic for access control and conformance, Logic in Access Control (Tutorial Notes)