@comment{x-kbibtex-personnameformatting=<%l><, %f>}
@inproceedings{conf/csfw/MantelSS11,
	added-at = "2011-08-30T00:00:00.000+0200",
	author = "Mantel, Heiko and Sands, David and Sudbrock, Henning",
	biburl = "http://www.bibsonomy.org/bibtex/2a1a869a4690349b4c8d65f12dbeff17f/dblp",
	booktitle = "{CSF}",
	ee = "http://doi.ieeecomputersociety.org/10.1109/CSF.2011.22",
	interhash = "aaec6ca813ac2be26e625b09ce4faf47",
	intrahash = "a1a869a4690349b4c8d65f12dbeff17f",
	isbn = "978-1-61284-644-6",
	keywords = "dblp",
	pages = "218--232",
	publisher = "IEEE Computer Society",
	title = "{Assumptions and Guarantees for Compositional Noninterference.}",
	url = "http://dblp.uni-trier.de/db/conf/csfw/csf2011.html#MantelSS11",
	x-fetchedfrom = "Bibsonomy",
	year = 2011
}
