Thumbnail
Access Restriction
Subscribed

Author Landauer, Christopher ♦ Crocker, Stephen
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©1982
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Abstracts ♦ Radio access networks ♦ Radiation detectors ♦ Aggregates ♦ Semantics ♦ Set theory ♦ Security
Abstract Information flow analysis algorithms for programs typically overestimate the amount of information flow that occurs in a program, since they must account for all paths through the computation graph, whether or not they are actually possible. This is the source of the information flow anomalies, which are simple situations not properly handled by syntactic information flow analysis. This paper introduces an abstract information content function for state machine models of programs, and applies it to the information firm analysis problem, in conjunction with a semantic analysis of functional behavior provided by a program verification system. Our method fits well within the framework of many existing program verification systems, requiring only a small amount of knowledge of set theory. Some of the more common information flow anomalies are shown to be handled correctly by the method.
Description Author affiliation: The Aerospace Corporation (Landauer, Christopher; Crocker, Stephen)
ISBN 0818604107
ISSN 15407993
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 1982-04-26
Publisher Place USA
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Size (in Bytes) 498.62 kB
Page Count 1
Starting Page 74
Ending Page 74


Source: IEEE Xplore Digital Library