Treffer: Using JOANA for Information Flow Control in Java Programs - A Practical Guide
Title:
Using JOANA for Information Flow Control in Java Programs - A Practical Guide
Authors:
Contributors:
The Pennsylvania State University CiteSeerX Archives
Publication Year:
2013
Collection:
CiteSeerX
Document Type:
Fachzeitschrift
text
File Description:
application/pdf
Language:
English
Relation:
Availability:
Rights:
Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number:
edsbas.11C45AC3
Database:
BASE
Weitere Informationen
We present the JOANA (Java Object-sensitive ANAlysis) framework for information flow control (IFC) of Java programs. JOANA can analyze a given Java program and guarantee the absence of security leaks, e.g. that a online banking application does not send sensitive information to third parties. It applies a wide range of program analysis techniques such as dependence graph computation, slicing and chopping of sequential as well as concurrent programs. We introduce the Java Web Start application IFC Console and show how it can be used to apply JOANA to arbitrary programs in order to specify and verify security properties. 1