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:
“I believe it has been said that one copy of The Times contains more useful information than the whole of the historical works of Thucydides.”
—Richard Cobden (1804–1865)
“A flow of words is a sure sign of duplicity.”
—Honoré De Balzac (1799–1850)
“The three-year-old who lies about taking a cookie isn’t really a “liar” after all. He simply can’t control his impulses. He then convinces himself of a new truth and, eager for your approval, reports the version that he knows will make you happy.”
—Cathy Rindner Tempelsman (20th century)