Certification of programs for secure information flow (1977)

by D E Denning, P J Denning
Venue:Communications of the ACM