On the Composition of Compositional Reasoning Export

@inbook{Freiling06, abstract = {We survey compositionality results for three classes of system properties: invariance/safety properties and liveness properties (based on work by Abadi and Lamport), and confidentiality properties (based on work by Mantel). We then analyse the difficulties which occur when trying to apply the compositionality results of these classes of properties simultaneously.}, author = {Freiling, Felix C. and Santen, Thomas}, booktitle = {Architecting Systems with Trustworthy Components}, chapter = {8}, citeulike-article-id = {6042173}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/11786160_8}, citeulike-linkout-1 = {http://www.springerlink.com/content/q746557056j32w00}, doi = {10.1007/11786160_8}, isbn = {3-540-35800-5}, journal = {Architecting Systems with Trustworthy Components}, keywords = {2006, composition, confidentiality, information-flow, liveness, maks, property, safety, security, system}, pages = {137--151}, posted-at = {2009-10-30 11:10:07}, priority = {2}, publisher = {Springer Berlin / Heidelberg}, series = {Lecture Notes in Computer Science}, title = {On the Composition of Compositional Reasoning}, url = {http://dx.doi.org/10.1007/11786160_8}, volume = {3938}, year = {2006} }

TY - CHAP ID - Freiling06 L3 - citeulike-article-id:6042173 N2 - We survey compositionality results for three classes of system properties: invariance/safety properties and liveness properties (based on work by Abadi and Lamport), and confidentiality properties (based on work by Mantel). We then analyse the difficulties which occur when trying to apply the compositionality results of these classes of properties simultaneously. JF - Architecting Systems with Trustworthy Components SE - Lecture Notes in Computer Science SN - 3-540-35800-5 EP - 151 TI - On the Composition of Compositional Reasoning PB - Springer Berlin / Heidelberg VL - 3938 T2 - Architecting Systems with Trustworthy Components SP - 137 KW - 2006 KW - composition KW - confidentiality KW - information-flow KW - liveness KW - maks KW - property KW - safety KW - security KW - system AU - Freiling, Felix AU - Santen, Thomas PY - 2006/// UR - http://dx.doi.org/10.1007/11786160_8 ER -