A mechanism for information flow control is one that enforces information flow policies. Several methods to enforce information flow policies have been proposed. Run-time mechanisms that tag data with information flow labels have been employed at the operating system level and at the programming language level. Static program analyses have also been developed that ensure information flows within programs are in accordance with policies.
Both static and dynamic analysis for current programming languages have been developed. However, dynamic analysis cannot be sound as noninterference is a property concerning all execution paths.
A prominent way to enforce information flow policies in a program is through a security type system: that is, a type system that enforces security properties. In such a sound type system, if a program type-checks, it meets the flow policy and therefore contains no improper information flows.
Read more about this topic: Information Flow (information Theory)
Famous quotes containing the words information, flow and/or control:
“The information links are like nerves that pervade and help to animate the human organism. The sensors and monitors are analogous to the human senses that put us in touch with the world. Data bases correspond to memory; the information processors perform the function of human reasoning and comprehension. Once the postmodern infrastructure is reasonably integrated, it will greatly exceed human intelligence in reach, acuity, capacity, and precision.”
—Albert Borgman, U.S. educator, author. Crossing the Postmodern Divide, ch. 4, University of Chicago Press (1992)
“But even suppose blood should flow. Is there not a sort of blood shed when the conscience is wounded? Through this wound a man’s real manhood and immortality flow out, and he bleeds to an everlasting death. I see this blood flowing now.”
—Henry David Thoreau (1817–1862)
“Our culture still holds mothers almost exclusively responsible when things go wrong with the kids. Sensing this ultimate accountability, women are understandably reluctant to give up control or veto power. If the finger of blame was eventually going to point in your direction, wouldn’t you be?”
—Ron Taffel (20th century)