{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:56:25Z","timestamp":1771700185467,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540884781","type":"print"},{"value":"9783540884798","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88479-8_24","type":"book-chapter","created":{"date-parts":[[2008,11,4]],"date-time":"2008-11-04T09:18:43Z","timestamp":1225790323000},"page":"339-353","source":"Crossref","is-referenced-by-count":5,"title":["A Component-Based Access Control Monitor"],"prefix":"10.1007","author":[{"given":"Zhiming","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Morisset","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Volker","family":"Stolz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Brewer, D.F.C., Nash, M.J.: The Chinese wall security policy. In: Proc. IEEE Symposium on Security and Privacy, pp. 206\u2013214 (1989)","DOI":"10.1109\/SECPRI.1989.36295"},{"key":"24_CR2","unstructured":"Common Criteria for Information Technology Security Evaluation, http:\/\/www.commoncriteriaportal.org\/"},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-540-75698-9_13","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"X. Chen","year":"2007","unstructured":"Chen, X., He, J., Liu, Z., Zhan, N.: A model of component-based programming. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.\u00a04767, pp. 191\u2013206. Springer, Heidelberg (2007)"},{"key":"24_CR4","unstructured":"Chen, Z., Liu, Z., Stolz, V.: The rCOS tool. In: Fitzgerald, et al. (eds.) [9]"},{"key":"24_CR5","first-page":"109","volume-title":"Proc. of the 9th Annual Symposium on Foundations of Software Engineering","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.: Interface automata. In: Proc. of the 9th Annual Symposium on Foundations of Software Engineering, pp. 109\u2013120. ACM press, New York (2001)"},{"key":"24_CR6","first-page":"121","volume-title":"RBAC 1997: Proc. of the second ACM workshop on Role-based access control","author":"E.B. Fernandez","year":"1997","unstructured":"Fernandez, E.B., Hawkins, J.C.: Determining role rights from use cases. In: RBAC 1997: Proc. of the second ACM workshop on Role-based access control, pp. 121\u2013125. ACM, New York (1997)"},{"key":"24_CR7","unstructured":"Ferraiolo, D.F., Kuhn, D.R.: Role-based access control. In: Proceedings of the 15th National Computer Security Conference (1992)"},{"key":"24_CR8","volume-title":"19th International Conference on Computer Aided Verification","author":"J.-C. Filli\u00e2tre","year":"2007","unstructured":"Filli\u00e2tre, J.-C., March\u00e9, C.: The Why\/Krakatoa\/Caduceus platform for deductive program verification. In: 19th International Conference on Computer Aided Verification. Springer, Berlin (2007)"},{"key":"24_CR9","unstructured":"Fitzgerald, J., Larsen, P.G., Sahara, S. (eds.): Modelling and Analysis in VDM: Proceedings of the Fourth VDM\/Overture Workshop, number CS-TR-1099 in Technical Report Series. Newcastle University (May 2008)"},{"key":"24_CR10","unstructured":"Habib, L.: Formalisation, comparaison et implantation d\u2019un mod\u00e8le de contr\u00f4le d\u2019acc\u00e8s \u00e0 base de r\u00f4les. Master\u2019s thesis, UPMC, Paris, France (2007)"},{"key":"24_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/11560647_5","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2005","author":"J. He","year":"2005","unstructured":"He, J., Li, X., Liu, Z.: Component-based software engineering. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol.\u00a03722, pp. 70\u201395. Springer, Heidelberg (2005)"},{"key":"24_CR12","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/j.entcs.2006.05.022","volume":"160","author":"J. He","year":"2006","unstructured":"He, J., Li, X., Liu, Z.: A theory of reactive components. Electr. Notes Theor. Comput. Sci.\u00a0160, 173\u2013195 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"24_CR13","volume-title":"Unifying Theories of Programming","author":"C. Hoare","year":"1998","unstructured":"Hoare, C., He, J.: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"24_CR14","unstructured":"Jaume, M., Morisset, C.: On specifying, implementing and comparing access control models. A Semantical Framework. Technical report, Univ. Paris 6, LIP6 (2007)"},{"key":"24_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1007\/3-540-45800-X_32","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"J. J\u00fcrjens","year":"2002","unstructured":"J\u00fcrjens, J.: UMLsec: Extending UML for secure systems development. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 412\u2013425. Springer, Heidelberg (2002)"},{"key":"24_CR16","doi-asserted-by":"publisher","first-page":"239","DOI":"10.3233\/JCS-1996-42-308","volume":"4","author":"L. LaPadula","year":"1996","unstructured":"LaPadula, L., Bell, D.: Secure Computer Systems: A Mathematical Model. Journal of Computer Security\u00a04, 239\u2013263 (1996)","journal-title":"Journal of Computer Security"},{"key":"24_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/11901433_2","volume-title":"Formal Methods and Software Engineering","author":"G.T. Leavens","year":"2006","unstructured":"Leavens, G.T.: Jml\u2019s rich, inherited specifications for behavioral subtypes. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol.\u00a04260, pp. 2\u201334. Springer, Heidelberg (2006)"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"Liu, Z., Mencl, V., Ravn, A.P., Yang, L.: Harnessing theories for tool support. In: Intl. Symp. on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), full version as UNU-IIST Technical Report 343 (August 2006), http:\/\/www.iist.unu.edu","DOI":"10.1109\/ISoLA.2006.49"},{"key":"24_CR19","unstructured":"Liu, Z., Stolz, V.: The rCOS method in a nutshell. In: Fitzgerald, et al. (eds.) [9]"},{"key":"24_CR20","first-page":"2","volume-title":"Proc. IEEE Symposium on Security and Privacy","author":"McLean","year":"1988","unstructured":"McLean.: The algebra of security. In: Proc. IEEE Symposium on Security and Privacy, pp. 2\u20137. IEEE Computer Society Press, Los Alamitos (1988)"},{"key":"24_CR21","unstructured":"Morisset, C.: S\u00e9mantique des syst\u00e8mes de contr\u00f4le d\u2019acc\u00e8s. PhD thesis, Universit\u00e9 Pierre et Marie Curie - Paris 6 (2007)"},{"key":"24_CR22","volume-title":"Theory and Practice of Concurrency","author":"A. Roscoe","year":"1997","unstructured":"Roscoe, A.: Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1997)"},{"issue":"1","key":"24_CR23","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/290163.290171","volume":"1","author":"R. Sandhu","year":"1998","unstructured":"Sandhu, R., Chen, F.: The multilevel relational (mlr) data model. ACM Trans. Inf. Syst. Secur.\u00a01(1), 93\u2013132 (1998)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"issue":"2","key":"24_CR24","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.485845","volume":"29","author":"R.S. Sandhu","year":"1996","unstructured":"Sandhu, R.S., Coyne, E.J., Feinstein, H.L., Youman, C.E.: Role-based access control models. IEEE Computer\u00a029(2), 38\u201347 (1996)","journal-title":"IEEE Computer"},{"key":"24_CR25","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"1997","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley, Reading (1997)"},{"key":"24_CR26","unstructured":"Tata Consultancy Services. Mastercraft, http:\/\/www.tata-mastercraft.com\/"}],"container-title":["Communications in Computer and Information Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88479-8_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T22:30:23Z","timestamp":1557873023000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88479-8_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540884781","9783540884798"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88479-8_24","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}