@Article{ SIFUM_Type_Systems-AFP, author = {Sylvia Grewe and Heiko Mantel and Daniel Schoepe}, title = {A Formalization of Assumptions and Guarantees for Compositional Noninterference}, journal = {Archive of Formal Proofs}, month = apr, year = 2014, note = {\url{http://afp.sf.net/entries/SIFUM_Type_Systems.shtml}, Formal proof development}, issn = {2150-914x} }