Formal Models of Capability-Based Protection Systems

DOI10.1109/TC.1981.1675753zbMath0454.68131OpenAlexW2134570288MaRDI QIDQ3902559

Lawrence V. Snyder

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

zbMATH Keywords

safetysecurityright-passing

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Communication, information (94A99)

Related Items (5)

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 ⋮ Designing and implementation of a new security model ⋮ Some variants of the take-grant protection model

This page was built for publication: Formal Models of Capability-Based Protection Systems