[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
fc@red.all.net