Safety versus Secrecy
Volpano_Safety_1999.pdf (2.501Mb)Abstract
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.
Rights
This 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.Collections
Related items
Showing items related by title, author, creator and subject.
-
Blueprints for disaster: balancing secrecy and transparency of government continuity plans
(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 ... -
Democratic Reform of Intelligence in Romania: What Supported and What Hindered Progress?
(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 ... -
A Security Simulation Game Scenario Definition Language
(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 ...
