Heiko Mantel Henning Sudbrock Tina Kraußer Combining Different Proof Techniques for Verifying Information Flow Security. 94-110 2006 conf/lopstr/2006 LOPSTR http://dx.doi.org/10.1007/978-3-540-71410-1_8 db/conf/lopstr/lopstr2006.html#MantelSK06