Tech Report Number
76-181
Date of this Version
3-1-1976
Recommended Citation
Denning, Dorothy E. and Denning, Peter J., "Certification of Programs for Secure Information Flow" (1976). Department of Computer Science Technical Reports. Paper 124.
https://docs.lib.purdue.edu/cstech/124
Number of Pages
32