01700oam 2200433 a 450 991070227620332120121018161919.0(CKB)5470000002425384(OCoLC)813325223(EXLCZ)99547000000242538420121018d1988 ua 0engurbn|||||||||txtrdacontentcrdamediacrrdacarrierThe sharing of rights and information in a capability-based protection system[electronic resource] /Matt BishopHanover, NH :Department of Mathematics and Computer Science, Dartmouth College ;[Washington, D.C.]:[National Aeronautics and Space Administration],[1988]1 online resource (34 pages) illustrations[NASA contractor report ;NASA CR-185388]Technical report ;PCS-TR88-136Title from title screen (viewed on Oct. 18, 2012).Includes bibliographical references (pages 33-24).Access controlnasatComputer information securitynasatTheorem provingnasatAccess control.Computer information security.Theorem proving.Bishop Matt(Matthew A.)1386286United States.National Aeronautics and Space Administration.Dartmouth College.Department of Mathematics and Computer Science.GPOGPOGPOBOOK9910702276203321The sharing of rights and information in a capability-based protection system3459020UNINA