Formal Models of Capability-Based Protection Systems
From MaRDI portal
Publication:3902559
DOI10.1109/TC.1981.1675753zbMath0454.68131MaRDI QIDQ3902559
Publication date: 1981
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tc.1981.1675753
Related Items
Designing and implementation of a new security model, Some variants of the take-grant protection model, Theft and conspiracy in the Take-Grant protection model, Undecidability of safety for the schematic protection model with cyclic creates, Safety in grammatical protection systems