
@article {ar:GreweMantelSchoepe2014,
	title = {A Formalization of Assumptions and Guarantees for Compositional Noninterference},
	journal = {Archive of Formal Proofs},
	year = {2014},
	month = {apr},
	issn = {2150-914x},
	author = {S. Grewe and H. Mantel and D. Schoepe}
}
@article {ar:GreweLuxMantelSauer2014b,
	title = {A Formalization of Declassification with WHAT-and-WHERE-Security},
	journal = {Archive of Formal Proofs},
	year = {2014},
	month = {apr},
	issn = {2150-914x},
	author = {S. Grewe and A. Lux and H. Mantel and J. Sauer}
}
@article {ar:GreweLuxMantelSauer2014a,
	title = {A Formalization of Strong Security},
	journal = {Archive of Formal Proofs},
	year = {2014},
	month = {apr},
	issn = {2150-914x},
	author = {S. Grewe and A. Lux and H. Mantel and J. Sauer}
}
