Title :
Information Flow Analysis of Formal Specifications
Author :
Millen, Jonathan K.
Author_Institution :
MITRE Corporation
Abstract :
A method is given to enumerate the flows between variables in systems specified in a non-procedural language. It finds all flows that would exist according to a deductive theory of information flow. It is presented in the form of an attribute grammar for the specification language. The effect of system invariants is discussed.
Keywords :
Formal specifications; Grammar; Operating systems; Reactive power; Security; Semantics; Specification languages;
Conference_Titel :
Security and Privacy, 1981 IEEE Symposium on
Conference_Location :
Oakland, CA, USA
Print_ISBN :
0-8186-0345-3
DOI :
10.1109/SP.1981.10008
