Conference Papers: Static Path Conditions for Java

[hammer08plas]

Christian Hammer, Rüdiger Schaade, Gregor Snelting, Static Path Conditions for Java, Proceedings of the 3rd Workshop on Programming Languages and Analysis for Security, pp. 55--66, ACM, June 2008.

Abstract

A static path condition is a precise necessary condition for information flow between two program points. Previous work defined path conditions for procedural languages. Object oriented languages offer additional constructs such as dynamic dispatch, ...

Download

[PDF]

[DOI]

BibTeX

@inproceedings{hammer08plas,
  title = {Static Path Conditions for Java},
  booktitle = {Proceedings of the 3rd Workshop on Programming Languages and Analysis
 for Security},
  year = {2008},
  month = jun,
  publisher = {ACM},
  pages = {55--66},
  author = {Christian Hammer and R{\"u}diger Schaade and Gregor Snelting},
  doi = {10.1145/1375696.1375704},
}

Authors at the institute

Department Head
Prof. Gregor Snelting

Former Staff Member
Prof. Dr.-Ing. Christian Hammer

Projects

Project

IFC for Mobile Components

VALSOFT/Joana