{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:14:25Z","timestamp":1743023665641,"version":"3.40.3"},"publisher-location":"Heidelberg","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319009445"},{"type":"electronic","value":"9783319009452"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-00945-2_34","type":"book-chapter","created":{"date-parts":[[2013,5,30]],"date-time":"2013-05-30T09:29:17Z","timestamp":1369906157000},"page":"375-388","source":"Crossref","is-referenced-by-count":2,"title":["An Approach to Automated Verification of Multi-Level Security System Models"],"prefix":"10.1007","author":[{"given":"Andrzej","family":"Stasiak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zbigniew","family":"Zieli\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","unstructured":"Anderson, J.P.: Computer Security Technology Planning Study, vol. II ESD-TR-73-51. Electronic System Division. Air Force System Command. Hansom Field, Bedford, MA, 01730 (1973)"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"Bell D.E., La Padula, L.J.: Secure Computer System: Unified Exposition and Multics Interpretation, ESD-TR-75-306. ESD\/AFSC, Hanscom AFB, Bedford, MA (1976), http:\/\/csrc.nist.gov\/publications\/history\/bell76.pdf (accessed June 24, 2012)","DOI":"10.21236\/ADA023588"},{"key":"34_CR3","unstructured":"Bell, D.E.: Looking Back at the Bell-La Padula Model, Reston VA, 20191 (2005)"},{"key":"34_CR4","unstructured":"Biba, K.J.: Integrity Consideration for Secure Computer System, Report MTR-3153 (1975)"},{"key":"34_CR5","doi-asserted-by":"crossref","unstructured":"Clark, D., Wilson, D.R.: A Comparison of Commercial and Military Computer Security Policies. In: Proc. IEEE Symposium on Research in Security and Privacy, pp. 184\u2013194 (1987)","DOI":"10.1109\/SP.1987.10001"},{"key":"34_CR6","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1016\/j.is.2004.06.002","volume":"30","author":"H. Mouratidis","year":"2005","unstructured":"Mouratidis, H., Giorgini, P., Manson, G.: When security meets software engineering: a case of modeling secure information systems. Information Systems\u00a030, 609\u2013629 (2005)","journal-title":"Information Systems"},{"key":"34_CR7","unstructured":"Zieli\u0144ski, Z., Stasiak, A., D\u0105browski, W.: A Model Driven Method for Multilevel Security Systems Design. Przegl\u0105d Elektrotechniczny (Electrical Review)\u00a0(2), 120\u2013125 (2012)"},{"issue":"1","key":"34_CR8","first-page":"39","volume":"15","author":"D. Basin","year":"2006","unstructured":"Basin, D., Clavel, M., Doser, J., Loddersted, T.: Model Driven Security: From UML Models to Access Control Infrastructures\u00a015(1), 39\u201391 (2006)","journal-title":"Model Driven Security: From UML Models to Access Control Infrastructures"},{"key":"34_CR9","doi-asserted-by":"publisher","first-page":"815","DOI":"10.1016\/j.infsof.2008.05.011","volume":"51","author":"D. Basin","year":"2009","unstructured":"Basin, D., Clavel, M., Doser, J., Egea, M.: Automated analysis of security-design models. Information and Software Technology\u00a051, 815\u2013831 (2009)","journal-title":"Information and Software Technology"},{"key":"34_CR10","volume-title":"WETICE 2001: Proceedings of the 10th IEEE International Workshops on Enabling Technologies","author":"G.J. Ahn","year":"2001","unstructured":"Ahn, G.J., Shin, M.E.: Role-based authorization constraints specification using object constraint language. In: WETICE 2001: Proceedings of the 10th IEEE International Workshops on Enabling Technologies. IEEE Computer Society, Washington, DC (2001)"},{"key":"34_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/11555827_5","volume-title":"Computer Security \u2013 ESORICS 2005","author":"K. Sohr","year":"2005","unstructured":"Sohr, K., Ahn, G.J., Gogolla, M., Migge, L.: Specification and validation of authorisation constraints using UML and OCL. In: De Capitani di Vimercati, S., Syverson, P., Gollmann, D. (eds.) ESORICS 2005. LNCS, vol.\u00a03679, pp. 64\u201379. Springer, Heidelberg (2005)"},{"key":"34_CR12","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":"34_CR13","unstructured":"Frankel, D.S.: Model Driven Architecture: Applying MDA to Enterprise Computing. John Wiley & Sons (2003)"},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"Zieli\u0144ski, Z., Furtak, J., Chudzikiewicz, J., Stasiak, A., Brudka, M.: Secured Workstation to Process the Data of Different Classification Levels. Journal of Telecommunications and Information Technology (3), 5\u201312 (2012)","DOI":"10.26636\/jtit.2012.3.1273"},{"key":"34_CR15","doi-asserted-by":"publisher","DOI":"10.1002\/9780470249260","volume-title":"Domain-Specific Modeling: Enabling Full Code Generation","author":"S. Kelly","year":"2008","unstructured":"Kelly, S., Tolvanen, J.P.: Domain-Specific Modeling: Enabling Full Code Generation. Wiley, NJ (2008)"},{"key":"34_CR16","unstructured":"Mohlin, M.: Model Simulation in Rational Software Architect: Simulating UML Models. IBM (2010)"},{"key":"34_CR17","unstructured":"Anders, E.: Model Simulation in Rational Software Architect: Activity Simulation. IBM (2010)"},{"key":"34_CR18","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-642-22365-5_21","volume-title":"Secure and Trust Computing, Data Management, and Applications","author":"A. Kozakiewicz","year":"2011","unstructured":"Kozakiewicz, A., Felkner, A., Furtak, J., Zieli\u0144ski, Z., Brudka, M., Ma\u0142owidzki, M.: Secure Workstation for Special Applications. In: Lee, C., Seigneur, J.-M., Park, J.J., Wagner, R.R. (eds.) STA 2011 Workshops. CCIS, vol.\u00a0187, pp. 174\u2013181. Springer, Heidelberg (2011)"}],"container-title":["Advances in Intelligent Systems and Computing","New Results in Dependability and Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-00945-2_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,11]],"date-time":"2024-05-11T10:03:34Z","timestamp":1715421814000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-00945-2_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319009445","9783319009452"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-00945-2_34","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2013]]}}}