Abstact interpretation of operational semantics for secure information flow

摘要

Nowadays, the enormous growth of the Internet, and, consequently, of mobile code makes the prob- lem of secure information flow of great importance. One of the main motivations is to avoid the damages Produced by malicious programs which try to braod- Cast secrete information. The secure information flow Within programs in multilevel secure systems requires That information at a given security level does not flow To lower levels [3,7,8]. A program, with variables par- Titioned into two disjoint sets of high and low security, Has secure information flow if observations of the final Value of the low security variables do not reveal any Information about the initial values of the high secu- Rity ones.