Safety versus Secrecy
Loading...
Authors
Volpano, Dennis
Subjects
Advisors
Date of Issue
1999-09
Date
Sep 1999
Publisher
Language
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.
Type
Description
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
Proceedings of the 6th Int'l Symposium on Static Analysis, LNCS 1694, pp. 303-311, Sep 1999.
Distribution Statement
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.