Showing papers by "Dorothy E. Denning published in 1974"
01 Jan 1974
TL;DR: The implementation of programming systems that cannot leak confidential information is examined and programs of such systems cannot even be permitted to output apparently nonconfldential information unless they have been proved error-free.
Abstract: The implementation of programming systems that cannot leak confidential information Is examined. Unless severe restrictions are placed on their form, programs of such systems cannot even be permitted to output apparently nonconfldential information unless they have been proved error-free.
1 citations