IACR paper details
Search for the paper
@misc{eprint-2010-23114,
title={Composable Security Analysis of OS Services},
booktitle={IACR Eprint archive},
keywords={applications / Composable Security, File-System Security, Formal Models, Software Security},
url={http://eprint.iacr.org/2010/213},
note={ shaih@alum.mit.edu 14714 received 15 Apr 2010},
author={Ran Canetti and Suresh Chari and Shai Halevi and Birgit Pfitzmann and Arnab Roy and Michael Steiner and Wietse Venema},
year=2010
}
Download a complete BibTeX file.