DocumentCode
564687
Title
Information Flow Analysis of Formal Specifications
Author
Millen, Jonathan K.
Author_Institution
MITRE Corporation
fYear
1981
fDate
27-29 April 1981
Firstpage
3
Lastpage
3
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Security and Privacy, 1981 IEEE Symposium on
Conference_Location
Oakland, CA, USA
ISSN
1540-7993
Print_ISBN
0-8186-0345-3
Type
conf
DOI
10.1109/SP.1981.10008
Filename
6234395
Link To Document