Combining different proof techniques for verifying information flow security (2007)

by H Mantel, H Sudbrock, T Kraußer
Venue:In LOPSTR, volume 4407 of LNCS