Generated Fri Oct 22 07:12:59 PDT 1999 by

  • [Harrison76] M. Harrison, W. Ruzzo, and J. Ullman, Protection in Operating Systems. CACM 19 no. 8 (August 1976):461--471. [This paper introduces the first formal mathematical model of protection in computer systems and forms the basis for the subject/object model of computer security. It also proves that determining the protection effects of a given configuration is, in general, undecidable.]

    Overview Drill Down