Certification of Programs for Secure (1977)

by D E Denning, P J Denning
Venue:Information Flow. Commun. ACM