The conference paper "Combining Different Proof Techniques for Verifying Information Flow Security" by Heiko Mantel, Henning Sudbrock, and Tina Kraußer will appear in the Postproceedings of LOPSTR 2006 (International Symposium on Logig-based Program Synthesis and Transformation) in the Springer Lecture Notes in Computer Science Series.

The work was funded by the DFG FM-SecEng project and the EU Mobius Project.