Title :
An optimization for information flow analysis
Author_Institution :
Digital Equipment Corp., Maynard, MA, USA
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;
Conference_Titel :
Computer Security Foundations Workshop II, 1989., Proceedings of the
Conference_Location :
Franconia, NH
DOI :
10.1109/CSFW.1989.40593
