See this document in CiteSeerX!

Information Flow Control for Java Based on Path Conditions in Dependence Graphs (2006)  (Make Corrections)  
Christian Hammer, Jens Krinke, Gregor Snelting
IEEE International Symposium on Secure Software Engineering



  Home/Search   Context   Related

 
View or download:
fernunihagen.de/ST/publi...issse06.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  fernunihagen.d...ublications.php (more)
Homepages:  J.Krinke  

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Language-based information flow control (IFC) is a powerful tool to discover security leaks in software. Most current IFC approaches are however based on nonstandard type systems. Type-based IFC is elegant, but not precise and can lead to false alarms. We present a more precise approach to IFC which exploits active research in static program analysis. Our IFC approach is based on path conditions in program dependence graphs (PDGs). PDGs are a sophisticated and powerful analysis device, and... (Update)

Active bibliography (related documents):   More   All
2.3:   Dynamic Path Conditions in Dependence Graphs - Hammer, Grimme, Krinke (2006)   (Correct)
1.2:   An Improved Slicer for Java - Hammer, Snelting (2004)   (Correct)
0.5:   A New Foundation for Control-Dependence and.. - Ranganath.. (2005)   (Correct)

Similar documents based on text:
6.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@misc{ hammer06information,
  title ="Information Flow Control for Java Based on Path Conditions in Dependence Graphs"
  author = "Christian Hammer and Jens Krinke and Gregor Snelting",
booktitle = 	 {IEEE International Symposium on Secure Software
                  Engineering},
  year = "2006",
  url = {citeseer.ist.psu.edu/hammer06information.html} }
Citations (may not include all citations):
259   A survey of program slicing techniques - Tip - 1995
139   Secure information flow in a multi-threaded imperative langu.. - Smith, Volpano - 1998
121   A core calculus of dependency - Abadi, Banerjee et al. - 1999
98   Jflow: practical mostly-static information flow control - Myers - 1999
95   Language-based informationflow security - Sabelfeld, Myers - 2003
72   A type-based approach to program security - Volpano, Smith - 1997
59   Transforming out timing leaks - Agat - 2000
42   Redlog: Computer algebra meets computer logic - Dolzmann, Sturm - 1997
34   Static slicing of threaded programs - Krinke - 1998
32   Points-to analysis for Java using annotated constraints - Rountev, Milanova et al. - 2001
21   The PACAP prototype: a tool for detecting Java Card illegal .. - Bieber, Cazin et al. - 2000
12   Simulation and optimization by quantifier elimination - Weispfenning - 1997
12   Dependence analysis for java - Chambers, Pechtchanski et al. - 1999
7   Advanced Slicing of Sequential and Concurrent Programs (context) - Krinke - 2003
6   Combining slicing and constraint solving for validation of m.. - Snelting - 1996
3   Information flow analysis for java bytecode - Genaim, Spoto - 2005
3   Scaling Java points-to using Sparc (context) - Lhotak, Hendren - 2003
3   cient path conditions in dependence graphs for software safe.. (context) - Snelting, Robschink et al. - 2005
3   Formal analysis of an information flow type system for Micro.. (context) - Strecker - 2003
3   cient path conditions in dependence graphs (context) - Robschink, Snelting - 2002
3   Context-sensitive slicing of concurrent programs - Krinke - 2003
2   An improved slicer for java - Hammer, Snelting - 2004
2   Pfadbedingungen in Abhangigkeitsgraphen und ihre Anwendung i.. (context) - Robschink - 2005
2   Program slicing (context) - Krinke - 2005
2   A new foundation for control dependence and slicing for mode.. - Ranganath, Amtoft et al. - 2005
1   Non-interference for a JVM-like language (context) - Barthe, Rezk - 2005
1   Design and implementation of a fine-grained software inspect.. (context) - Anderson, Reps et al. - 2003
1   Dynamic path conditions in dependence graphs - Hammer, Grimme et al. - 2006
1   Interference control and unwinding (context) - Goguen, Meseguer - 1984
http://www.cornell.edu/jif

Documents on the same site (http://www.fernuni-hagen.de/ST/publications.php):   More
Identifying Similar Code with Program Dependence Graphs - Krinke (2001)   (Correct)
Using Program Analysis Infrastructure for Software.. - Krinke, Streckenbach, .. (2003)   (Correct)
Aspect Mining Using Event Traces - Breu, Krinke (2004)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC