Dynamic Noninterference Analysis Using Context Sensitive Static Analysis
2007 (English)Report (Refereed)
This report proposes a dynamic noninterference analysis for sequential programs. This analysis is well-suited for the development of a monitor enforcing the absence of information flows between the secret inputs and the public outputs of a program. This implies a sound detection of information flows and a sound correction of forbidden flows during the execution. The monitor relies on a dynamic information flow analysis. For unexecuted pieces of code, this dynamic analysis uses any context sensitive static information flow analysis which respects a given set of three hypotheses. The soundness of the overall monitoring mechanism with regard to noninterference enforcement is proved, as well as its higher precision than the automaton-based mechanism proposed in previous work.
Place, publisher, year, edition, pages
, Technical Report 2007-5, Kansas State University, KS66506, USA
Computer and Information Science
IdentifiersURN: urn:nbn:se:kth:diva-50789OAI: oai:DiVA.org:kth-50789DiVA: diva2:462692
QC 201112082011-12-072011-12-072011-12-08Bibliographically approved