We provide an analytical framework for basic integrity properties of file systems, namely the binding of files to filenames and writing capabilities. A salient feature of our modeling and analysis is that it is composable: In spite of the fact that we analyze the filesystem in isolation, security is guaranteed even when the file system operates as a component within an arbitrary, and potentially adversarial system. Our results are obtained by adapting the Universally Composable (UC) security framework to the analysis of software systems. Originally developed for cryptographic protocols, the UC framework allows the analysis of simple components in isolation, and provides assurance that these components maintain their behavior when combined in a large system, potentially under adversarial conditions. © 2011 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Canetti, R., Chari, S., Halevi, S., Pfitzmann, B., Roy, A., Steiner, M., & Venema, W. (2011). Composable security analysis of OS services. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6715 LNCS, pp. 431–448). https://doi.org/10.1007/978-3-642-21554-4_25
Mendeley helps you to discover research relevant for your work.