Browsing by Subject "Safety"
Now showing items 1-3 of 3
Confidence in Confinement: An Axiom-free, Mechanized Verification of Confinement in Capability-based Systems (Johns Hopkins UniversityUSA, 2015-07-22)Confinement is a security policy that restricts the outward communication of a subsystem to authorized channels. It stands at the border of mandatory and discretionary policies and can be used to implement either. In ...
(Irving Berlin, Inc., 1650 Broadway, 1950)
(Famous Music Corp., 1619 Broadway, 1935)