{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:12:06Z","timestamp":1725538326772},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642040900"},{"type":"electronic","value":"9783642040917"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04091-7_2","type":"book-chapter","created":{"date-parts":[[2009,9,26]],"date-time":"2009-09-26T05:52:07Z","timestamp":1253944327000},"page":"9-17","source":"Crossref","is-referenced-by-count":0,"title":["Knowledge System for Application of Computer Security Rules"],"prefix":"10.1007","author":[{"given":"Menchaca Garc\u00eda Felipe","family":"Rolando","sequence":"first","affiliation":[]},{"given":"Contreras Hern\u00e1ndez","family":"Salvador","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"New Security Paradigm workshop","author":"J. V\u00e1zquez-G\u00f3mez","year":"1993","unstructured":"V\u00e1zquez-G\u00f3mez, J.: Modelling Multidomain Security SIGSAC. In: New Security Paradigm workshop. IEEE Computer Society Press, Los Alamitos (1993)"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0167-4048(94)90065-5","volume":"13","author":"J. V\u00e1zquez-G\u00f3mez","year":"1994","unstructured":"V\u00e1zquez-G\u00f3mez, J.: Multidomain Security. Computers & Security\u00a013, 161\u2013184 (1994)","journal-title":"Computers & Security"},{"key":"2_CR3","unstructured":"Bell, D.E., La Padula, L.J.: Security Computer Systems: Mathematical Foundations and Model. Tech. Rep., MITRE Corp., Bedford MA (1974)"},{"key":"2_CR4","volume-title":"Modal Logic an Introduction","author":"B.F. Chellas","year":"1995","unstructured":"Chellas, B.F.: Modal Logic an Introduction. Cambridge University Press, Cambridge (1995)"},{"key":"2_CR5","first-page":"97","volume-title":"Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001)","author":"C. Baral","year":"2001","unstructured":"Baral, C., Zhang, Y.: On the semantics of knowledge update. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001), Seattle, WA, pp. 97\u2013102. Morgan Kaufmann, San Mateo (2001)"},{"issue":"3","key":"2_CR6","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J.Y. Halpern","year":"1990","unstructured":"Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. J. ACM\u00a037(3), 549\u2013587 (1990), \n                    \n                      http:\/\/doi.acm.org\/10.1145\/79147.79161","journal-title":"J. ACM"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Glassgow, J., MacEwen, G., Panangaden, P.: A logic for reasoning about security. ACM Trans. Comput. Syst.\u00a010(3) (August 1992)","DOI":"10.1145\/146937.146940"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Glassgow, J., Mac Ewen, G.: Obligation as the basis of integrity especification. In: Proc. Computer Security Fundations Workshop, Franconia, NH (June 1989)","DOI":"10.1109\/CSFW.1989.40588"}],"container-title":["Advances in Intelligent and Soft Computing","Computational Intelligence in Security for Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04091-7_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T10:56:47Z","timestamp":1619780207000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04091-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642040900","9783642040917"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04091-7_2","relation":{},"ISSN":["1867-5662","1867-5670"],"issn-type":[{"type":"print","value":"1867-5662"},{"type":"electronic","value":"1867-5670"}],"subject":[],"published":{"date-parts":[[2009]]}}}