@InProceedings{	  mantel.sudbrock.ea:combining,
  author	= {Heiko Mantel and Henning Sudbrock and Tina Krau\"ser},
  editor	= {German Puebla},
  title		= {Combining Different Proof Techniques for Verifying
		  Information Flow Security},
  booktitle	= {Post-Proceedings of the 16th International Symposium on
		  Logic Based Program Synthesis and Transformation (LOPSTR
		  2006)},
  pages		= {94--110},
  publisher	= {Springer},
  year		= 2007,
  series	= {LNCS},
  volume	= 4407,
  abstract	= {When giving a program access to secret information, one
		  must ensure that the program does not leak the secrets to
		  untrusted sinks. For reducing the complexity of such an
		  information flow analysis, one can employ compositional
		  proof techniques. In this article, we present a new
		  approach to analyzing information flow security in a
		  compositional manner. Instead of committing to a proof
		  technique at the beginning of a verification, this choice
		  is made during verification with the option of flexibly
		  migrating to another proof technique. Our approachalso
		  increases the precision of compositional reasoning in
		  comparisonto the traditional approach. We illustrate the
		  advantages in twoexemplary security analyses, on the
		  semantic level and on thesyntactic level.},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2007/0_MantelSudbrockKrausser.pdf}
}