Certification of Programs for Secure Information Flow (1977)

by Dorothy E. Denning, Peter J. Denning