[Denning77] D. Denning, and P. Denning, Certification of Programs for Secure Information Flow, CACM V20n7, July, 1977, pp504-513, [This paper presents a certification mechanism for verifying secure information flow of information through a program.]
fc@red.all.net