Ludwig-Maximilians-Universität München, Institut für Informatik
Department of Programming and Software Engineering
http://www.pst.ifi.lmu.de/projekte/infozert/index.html
InfoZert
Verification and Certification of Information Flows
The goal of the project is the development of technology enabling
the specification of information flow policies in a state-oriented manner as well as
the verification of policy conformance of system implementations.
It also aims to allow for generating certificates for policy-compliant system components with
as little as possible effort on the code producer side, which can then producer-independently and
automatically be checked by any code consumer prior to code execution.
The key innovation lies in the connection of information flow analysis and independently
checkable certificates for target code, as well as in developing the necessary refinement techniques.
In the end, we plan on being able to create certificates for Java bytecode derived from a UML based modeling process.
Publications
As the project is still in its early stages, there are no publications/results as of yet.
People involved
Lennart Beringer
Robert Grabowski
Martin Hofmann
Alexander Knapp
Florian Lasinger
David von Oheimb
15.01.2007, Florian Lasinger