Information Flow Analysis of Formal Specifications


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. 
DOI: 10.1109/SP.1981.10008


1 Figure or Table

Cite this paper

@article{Millen1981InformationFA, title={Information Flow Analysis of Formal Specifications}, author={Jonathan K. Millen}, journal={1981 IEEE Symposium on Security and Privacy}, year={1981}, pages={3-3} }