[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