Certification of programs for secure information flow (1977)

by Dorothy E Denning, Peter J Denning
Venue:Communications of the ACM