Generated Fri Oct 22 07:12:55 PDT 1999 by fc@red.all.net


Denning77
  • [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