Safety versus Secrecy
MetadataShow full item record
Safety and secrecy are formulated for a deterministic programming language. A safety property is defined as a set of program traces and secrecy is defined as a binary relation on traces, characterizing a form of Noninterference. Safety properties may have sound and complete execution monitors whereas secrecy ha.s no such monitor.
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Showing items related by title, author, creator and subject.
Vollbrecht, Stephen Scott (Monterey, California: Naval Postgraduate School, 2016-09);On one hand, it is readily assumed that the government must keep some information secret for the security of the state and the safety of people; on the other, as the ultimate sovereign, the people require access to information ...
Matei, Cris (International Studies Association, 2011-03-16);This paper seeks to contribute to a better understanding of the contemporary significance for democracy and democratic consolidation of the relationship between elected leaders and intelligence services in developing ...
Falby, Naomi; Thompson, Michael F.; Irvine, Cynthia E. (IEEE, 2004-06-00);The Center for the Information Systems Studies and Research (CISR) at the Naval Postgraduate School has established a broad program in computer and network security education. The program, founded on a core in traditional ...