@MastersThesis{ schoepe:compositionality, author = {Daniel Schoepe}, title = {Compositionality of Information Flow Security with Assumptions and Guarantees in Isabelle/HOL}, type = {Bachelor Thesis}, school = {TU Darmstadt}, year = 2012 }