Tech Report Number
76-209
Date of this Version
11-1-1976
Recommended Citation
Denning, D. E.; Denning, P. J.; Garland, S. J.; Harrison, M. A.; and Ruzzo, W.L., "Proving Protection Systems Safe" (1976). Department of Computer Science Technical Reports. Paper 148.
https://docs.lib.purdue.edu/cstech/148
Number of Pages
23