DocumentCode
3190553
Title
An optimization for information flow analysis
Author
Wray, J.C.
Author_Institution
Digital Equipment Corp., Maynard, MA, USA
fYear
1989
fDate
11-14 Jun 1989
Firstpage
105
Lastpage
110
Abstract
Various optimizations have been suggested for reducing formal flow violations produced by a standard information flow security analysis for the certification of programs or specifications of computer systems. These optimizations are specific to particular source language constructions and rely on the analysis tool recognizing these constructions through syntactic processing in order that the optimization(s) might be applied. A new optimization for eliminating formal flow violations, suggested by the semantics of the text under analysis, is presented. It is shown that the syntactic optimizations mentioned above can be viewed as special cases of the generalized optimization
Keywords
formal specification; information theory; security of data; certification; formal flow violations; generalized optimization; information flow analysis; information flow security analysis; specifications; Certification; Computer security; Information analysis; Information security; Labeling; Performance analysis;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop II, 1989., Proceedings of the
Conference_Location
Franconia, NH
Type
conf
DOI
10.1109/CSFW.1989.40593
Filename
40593
Link To Document