LEADER 01700oam  2200433 a 450 
001 9910702276203321
005 20121018161919.0
035   $a(CKB)5470000002425384
035   $a(OCoLC)813325223
035   $a(EXLCZ)995470000002425384
100   $a20121018d1988      ua             0
101 0 $aeng
135   $aurbn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 14$aThe sharing of rights and information in a capability-based protection system$b[electronic resource] /$fMatt Bishop
210  1$aHanover, NH :$cDepartment of Mathematics and Computer Science, Dartmouth College ;$a[Washington, D.C.]:$c[National Aeronautics and Space Administration],$d[1988]
215   $a1 online resource (34 pages) $cillustrations
225 1 $a[NASA contractor report ;$vNASA CR-185388]
225 1 $aTechnical report ;$vPCS-TR88-136
300   $aTitle from title screen (viewed on Oct. 18, 2012).
320   $aIncludes bibliographical references (pages 33-24).
606   $aAccess control$2nasat
606   $aComputer information security$2nasat
606   $aTheorem proving$2nasat
615  7$aAccess control.
615  7$aComputer information security.
615  7$aTheorem proving.
700   $aBishop$b Matt$g(Matthew A.)$01386286
712 02$aUnited States.$bNational Aeronautics and Space Administration.
712 02$aDartmouth College.$bDepartment of Mathematics and Computer Science.
801  0$bGPO
801  1$bGPO
801  2$bGPO
906   $aBOOK
912   $a9910702276203321
996   $aThe sharing of rights and information in a capability-based protection system$93459020
997   $aUNINA