Combining different proof techniques for verifying information flow security Mantel, Heiko Sudbrock, Henning Kraußer, Tina 2006 - TUHH Open Research