{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T11:40:24Z","timestamp":1736595624308,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540476993"},{"type":"electronic","value":"9783540477006"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11908739_27","type":"book-chapter","created":{"date-parts":[[2006,10,11]],"date-time":"2006-10-11T15:19:02Z","timestamp":1160579942000},"page":"378-388","source":"Crossref","is-referenced-by-count":0,"title":["A Tool for Managing Security Policies in Organisations"],"prefix":"10.1007","author":[{"given":"Anna V.","family":"\u00c1lvarez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karen A.","family":"Garc\u00eda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ra\u00fal","family":"Monroy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis A.","family":"Trejo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jes\u00fas","family":"V\u00e1zquez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1109\/CSFW.2003.1212713","volume-title":"Proceedings of the 16th IEEE Computer Security Foundations Workshop CSFW 2003","author":"J.Y. Halpern","year":"2003","unstructured":"Halpern, J.Y., Weissman, V.: Using first-order logic to reason about policies. In: Proceedings of the 16th IEEE Computer Security Foundations Workshop CSFW 2003, pp. 187\u2013201. IEEE Computer Society, Los Alamitos (2003)"},{"key":"27_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"663","DOI":"10.1007\/3-540-52885-7_131","volume-title":"10th International Conference on Automated Deduction","author":"W. McCune","year":"1990","unstructured":"McCune, W.: Otter 2.0. In: Stickel, M.E. (ed.) CADE 1990. LNCS, vol.\u00a0449, pp. 663\u2013664. Springer, Heidelberg (1990)"},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"McCune, W.: Mace4 Reference Manual and Guide. The Computing Research Repository (CoRR) CS.SC\/0310055 (2004)","DOI":"10.2172\/822574"},{"key":"27_CR4","unstructured":"Hoagland, J.A.: Specifying and enforcing policies using LaSCO, the language for security constraints on objects. The Computing Research Repository, CS.CR\/0003066 (2000)"},{"key":"27_CR5","unstructured":"Iannella, R.: ODRL: The open digital rights language initiative. Technical report"},{"key":"27_CR6","unstructured":"Kangasluoma, M.: Policy Specification Languages. Department of Computer Science, Helsinki University of Technology (1999)"},{"key":"27_CR7","unstructured":"Krsul, I., Spafford, E., Tuglular, T.: A New Approach to the Specification of General Computer Security Policies. COAST Techical Report 97\u201313, West Lafayette, IN 47907\u20131398 (1998)"},{"key":"27_CR8","unstructured":"Davies, E.: Representation of Commonsense Knowledge. Courant Institute for Mathematical Sciences (1990)"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Ryutov, T., Neuman, C.: Representation and evaluation of security policies for distributed system services. In: Proceedings of DARPA Information Survivability Conference and Exposition 2000 (DISCEX 2000), vol.\u00a02, pp. 172\u2013183 (2000)","DOI":"10.1109\/DISCEX.2000.821518"},{"issue":"2","key":"27_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/1065545.1065547","volume":"8","author":"R. Bhatti","year":"2005","unstructured":"Bhatti, R., Ghafoor, A., Bertino, E., Joshi, J.: X-GTRBAC: an XML-based policy specification framework and architecture for enterprise-wide access control. ACM Transactions on Information and System Security (TISSEC)\u00a08(2), 187\u2013227 (2005)","journal-title":"ACM Transactions on Information and System Security (TISSEC)"},{"key":"27_CR11","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1109\/ITCC.2002.1000381","volume-title":"Proceedings of the 2002 International Conference on Information Technology: Coding and Computing","author":"S. Ngamsuriyaroj","year":"2002","unstructured":"Ngamsuriyaroj, S., Keefe, T.F., Hurson, A.R.: Maintaining consistency of the security policy using timestamp ordering. In: Proceedings of the 2002 International Conference on Information Technology: Coding and Computing, pp. 164\u2013170. IEEE Computer Society, Los Alamitos (2002)"},{"key":"27_CR12","first-page":"179","volume-title":"Proceedings of the 21st IEEE International Performance, Computing, and Communications Conference","author":"S. Ngamsuriyaroj","year":"2002","unstructured":"Ngamsuriyaroj, S., Keefe, T.F., Hurson, A.R.: Maintaining consistency of the security policy in distributed environment. In: Proceedings of the 21st IEEE International Performance, Computing, and Communications Conference, pp. 179\u2013186. IEEE Computer Society, Los Alamitos (2002)"},{"key":"27_CR13","first-page":"126","volume-title":"Proceedings of the ninth ACM symposium on Access control models and technologies","author":"G. Zanin","year":"2004","unstructured":"Zanin, G., Mancini, L.V.: Security analysis: Towards a formal model for security policies specification and validation in the selinux system. In: Proceedings of the ninth ACM symposium on Access control models and technologies, pp. 126\u2013135. ACM Press, New York (2004)"},{"key":"27_CR14","first-page":"97","volume":"17","author":"K. Garc\u00eda","year":"2005","unstructured":"Garc\u00eda, K., Monroy, R., V\u00e1zquez, J.: An Artificial Manager for Security Policies in Organizations. Journal of Research in Computing Science\u00a017, 97\u2013106 (2005)","journal-title":"Journal of Research in Computing Science"}],"container-title":["Lecture Notes in Computer Science","Advances in Information and Computer Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11908739_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T11:20:41Z","timestamp":1736594441000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11908739_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540476993","9783540477006"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11908739_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}