Christian Hammer, Jens Krinke, Gregor Snelting  Home/Search
Context
Related
| fernunihagen.de/ST/publi...issse06.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fernunihagen.d...ublications.php (more) Homepages: J.Krinke |
Rate this article:      (best)Comment on this article |
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