{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:22Z","timestamp":1740099142603,"version":"3.37.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319996165"},{"type":"electronic","value":"9783319996172"}],"license":[{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-319-99617-2_5","type":"book-chapter","created":{"date-parts":[[2018,9,3]],"date-time":"2018-09-03T05:36:35Z","timestamp":1535952995000},"page":"69-85","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Multi-level Security System Verification Based on the Model"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5623-2116","authenticated-orcid":false,"given":"Andrzej","family":"Stasiak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5129-0448","authenticated-orcid":false,"given":"Zbigniew","family":"Zieli\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,9,1]]},"reference":[{"key":"5_CR1","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 24 June 2012"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Bell, D.E.: Looking back at the Bell-La Padula model, Reston, VA (2005)","DOI":"10.1109\/CSAC.2005.37"},{"key":"5_CR3","unstructured":"Biba, K.J.: Integrity consideration for secure computer system. Report MTR-3153 (1975)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Clark, D., Wilson, D.R.: A comparison of commercial and military computer security policies. In: Proceedings of the IEEE Symposium on Research in Security and Privacy, pp. 184\u2013194 (1987)","DOI":"10.1109\/SP.1987.10001"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Sandhu, R.S.: Lattice-based access control models. Computer 26, 9\u201319 (1993)","DOI":"10.1109\/2.241422"},{"issue":"2005","key":"5_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\u00a0case of modeling secure information systems. Inf. Syst. 30(2005), 609\u2013629 (2005)","journal-title":"Inf. Syst."},{"key":"5_CR7","first-page":"120","volume":"2","author":"Z Zieli\u0144ski","year":"2012","unstructured":"Zieli\u0144ski, Z., Stasiak, A., D\u0105browski, W.: A model driven method for multilevel security systems design. Przegl\u0105d Elektrotechniczny (Electr. Rev.) 2, 120\u2013125 (2012)","journal-title":"Przegl\u0105d Elektrotechniczny (Electr. Rev.)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Basin, D., Clavel, M., Doser, J., Loddersted, T.: Model driven security: from UML models to access control infrastructures, vol. 15, no. 1, pp. 39\u201391 (2006)","DOI":"10.1145\/1125808.1125810"},{"key":"5_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. Inf. Softw. Technol. 51, 815\u2013831 (2009)","journal-title":"Inf. Softw. Technol."},{"key":"5_CR10","unstructured":"Ahn, G.J., Shin, M.E.: Role-based authorization constraints specification using object constraint language. In: Proceedings of the 10th IEEE International Workshops on Enabling Technologies, WETICE 2001: IEEE Computer Society, Washington, DC, USA (2001)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Sohr, K., Ahn, G.J., Gogolla, M., Migge, L.: Specification and validation of authorization constraints using UML and OCL. In: Proceedings of the 10th European Symposium on Research in Computer Security (ESORICS 2005). Lecture Notes in Computer Science, vol. 3679, Springer (2005)","DOI":"10.1007\/11555827_5"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"J\u00fcrjens, J.: UMLsec: extending UML for secure systems development. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002\u2014The Unified Modeling Language. Lecture Notes in Computer Science, vol. 2460. Springer (2002)","DOI":"10.1007\/3-540-45800-X_32"},{"key":"5_CR13","volume-title":"Model Driven Architecture: Applying MDA to Enterprise Computing","author":"DS Frankel","year":"2003","unstructured":"Frankel, D.S.: Model Driven Architecture: Applying MDA to Enterprise Computing. Wiley, Hoboken (2003)"},{"issue":"2012","key":"5_CR14","first-page":"5","volume":"3","author":"Z Zieli\u0144ski","year":"2012","unstructured":"Zieli\u0144ski, Z., Furtak, J., Chudzikiewicz, J., Stasiak, A., Brudka, M.: Secured workstation to process the data of different classification levels. J. Telecommun. Inf. Technol. 3(2012), 5\u201312 (2012)","journal-title":"J. Telecommun. Inf. Technol."},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Stasiak, A., Zieli\u0144ski, Z.: An approach to automated verification of multi-level security system models. In: Janusz, K. (ed.) Advances in Intelligent and Soft Computing. Springer (2013). ISSN: 1867-5662","DOI":"10.1007\/978-3-319-00945-2_34"},{"key":"5_CR16","volume-title":"Anatomy of a Topology Model Used in IBM Rational Software Architect Version 7.5, Part 2: Advanced Concepts","author":"M Narinder","year":"2008","unstructured":"Narinder, M.: Anatomy of a Topology Model Used in IBM Rational Software Architect Version 7.5, Part 2: Advanced Concepts. IBM, Armonk (2008)"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Alves-Foss, J., Taylor, C., Paul Oman, P.: Multi-layered approach to security in high assurance systems. In: Proceedings of the 37th Hawaii International Conference on System Sciences\u20142004. IEEE (2004)","DOI":"10.1109\/HICSS.2004.1265709"},{"key":"5_CR18","volume-title":"Model Simulation in Rational Software Architect: Simulating UML Models","author":"M Mohlin","year":"2010","unstructured":"Mohlin, M.: Model Simulation in Rational Software Architect: Simulating UML Models. IBM, Armonk (2010)"},{"key":"5_CR19","volume-title":"Model Simulation in Rational Software Architect: Communicating Models","author":"M Mohlin","year":"2010","unstructured":"Mohlin, M.: Model Simulation in Rational Software Architect: Communicating Models. IBM, Armonk (2010)"},{"key":"5_CR20","volume-title":"Model Simulation in Rational Software Architect: Activity Simulation","author":"E Anders","year":"2010","unstructured":"Anders, E.: Model Simulation in Rational Software Architect: Activity Simulation. IBM, Armonk (2010)"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Kozakiewicz, A., Felkner, A., Zieli\u0144ski, Z., Furtak, J., Brudka, M., Ma\u0142owidzki, M.: Secure Workstation for Special Applications. Communications in Computer and Information Science, vol. 187, pp. 174\u2013181. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-22365-5_21"}],"container-title":["Advances in Intelligent Systems and Computing","Engineering Software Systems: Research and Praxis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99617-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,23]],"date-time":"2019-10-23T09:24:19Z","timestamp":1571822659000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99617-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,1]]},"ISBN":["9783319996165","9783319996172"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99617-2_5","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2018,9,1]]}}}