Implicit flows: Can't live with 'Em, can't live without 'Em

Dave King, Boniface Hicks, Michael Hicks, Trent Jaeger

Research output: Chapter in Book/Report/Conference proceedingConference contribution

60 Scopus citations


Verifying that programs trusted to enforce security actually do so is a practical concern for programmers and administrators. However, there is a disconnect between the kinds of tools that have been successfully applied to real software systems (such as taint mode in Perl and Ruby), and information-flow compilers that enforce a variant of the stronger security property of noninterference. Tools that have been successfully used to find security violations have focused on explicit flows of information, where high-security information is directly leaked to output. Analysis tools that enforce noninterference also prevent implicit flows of information, where high-security information can be inferred from a program's flow of control. However, these tools have seen little use in practice, despite the stronger guarantees that they provide. To better understand why, this paper experimentally investigates the explicit and implicit flows identified by the standard algorithm for establishing noninterference. When applied to implementations of authentication and cryptographic functions, the standard algorithm discovers many real implicit flows of information, but also reports an extremely high number of false alarms, most of which are due to conservative handling of unchecked exceptions (e.g., null pointer exceptions). After a careful analysis of all sources of true and false alarms, due to both implicit and explicit flows, the paper concludes with some ideas to improve the false alarm rate, toward making stronger security analysis more practical.

Original languageEnglish (US)
Title of host publicationInformation Systems Security - 4th International Conference, ICISS 2008, Proceedings
Number of pages15
StatePublished - 2008
Event4th International Conference on Information Systems Security, ICISS 2008 - Hyderabad, India
Duration: Dec 16 2008Dec 20 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5352 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other4th International Conference on Information Systems Security, ICISS 2008

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Implicit flows: Can't live with 'Em, can't live without 'Em'. Together they form a unique fingerprint.

Cite this