{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:44:29Z","timestamp":1743047069190,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642318320"},{"type":"electronic","value":"9783642318337"}],"license":[{"start":{"date-parts":[[2013,12,5]],"date-time":"2013-12-05T00:00:00Z","timestamp":1386201600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,12,5]],"date-time":"2013-12-05T00:00:00Z","timestamp":1386201600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-31833-7_13","type":"book-chapter","created":{"date-parts":[[2013,12,4]],"date-time":"2013-12-04T08:27:41Z","timestamp":1386145661000},"page":"203-218","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Logical Inference Framework for Security Management in Geographical Information Systems"],"prefix":"10.1007","author":[{"given":"Igor","family":"Kotenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olga","family":"Polubelova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"Saenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,12,5]]},"reference":[{"issue":"10","key":"13_CR29","doi-asserted-by":"publisher","first-page":"2069","DOI":"10.1109\/JSAC.2005.854119","volume":"23","author":"E Al-Shaer","year":"2005","unstructured":"Al-Shaer E, Hamed H, Boutaba R, Hasan M (2005) Conflict classification and analysis of distributed firewall policies. J Sel Areas Commun 23(10):2069\u20132084","journal-title":"J Sel Areas Commun"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Amalio N, Spanoudakis G (2008) From monitoring templates to security monitoring and threat detection. SECURWARE \u201808. 2nd International Conference on emerging security information, systems and technologies, pp 185\u2013192 25\u201331 Aug 2008","DOI":"10.1109\/SECURWARE.2008.58"},{"key":"13_CR2","unstructured":"ArcGIS Resource Center (2013). Logging and Auditing. http:\/\/resources.arcgis.com\/content\/enterprisegis\/10.0\/logging_mechanism"},{"key":"13_CR10","unstructured":"Babamir SM, Jalili S (2006) A logical based approach to detection of intrusions against programs. In: Proceedings of the 2nd conference on global E-security, (ICGeS-06). London, pp 72\u201379"},{"key":"13_CR11","unstructured":"Bandara AK, Lupu EC,\u00a0Russo A (2003) Using event calculus to formalise policy specification and analysis. Policies for distributed systems and networks. In: Proceedings POLICY 2003. IEEE 4th international workshop on 4\u20136 June 2003, pp 26\u201339"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Broda K, Clark K, Miller R, Russo A (2009) SAGE: a logical agent-based environment monitoring and control system. In: Proceedings of Aml\u201909, Zalzburg, Austria, 18\u201321 Nov, pp 112\u2013117","DOI":"10.1007\/978-3-642-05408-2_14"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Clarke EM, Grumberg OS, Lu, JHA Y, Veith H (2001) Progress on the state explosion problem in model checking (vol 2000). Lecture notes in computer science, Springer, Heidelberg","DOI":"10.1007\/3-540-44577-3_12"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Das P, Niyogi R (2011) A temporal logic based approach to multi-agent intrusion detection and prevention. Int J Commun Network Secure 1(1)","DOI":"10.47893\/IJCNS.2011.1009"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Dixon C, Gago M-C F, Fisher M, Van der Hoek W (2004) Using temporal logics of knowledge in the formal verification of security protocols. In: Proceedings of the 11th international symposium on temporal representation and reasoning (TIME\u201904). IEEE 1530-1311\/04, pp 148\u2013151","DOI":"10.1109\/TIME.2004.1314432"},{"key":"13_CR26","unstructured":"Endriss U, Mancarella P, Sadri F, Terreni G, Toni F (2004) The CIFF proof procedure: definition and soundness results. Technical report 2004\/2, Department of Computing, Imperial College London"},{"key":"13_CR1","unstructured":"Enterprise GIS Security (2013). http:\/\/resources.arcgis.com\/content\/enterprisegis\/10.0\/security"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Evans D, Eyers DM, Bacon J (2010) Linking policies to the spatial environment. In: Proceedings of policies for distributed systems and networks (POLICY), pp 73\u201376","DOI":"10.1109\/POLICY.2010.31"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Farrell ADH, Sergot MJ, Salle M, Bartolini C (2004) Performance monitoring of service-level agreements for utility computing using the event calculus. In: Proceeding of workshop on contract languages and architectures (CoALa2004). 8th international IEEE enterprise distributed object computing conference, Monterey, pp 17\u201324","DOI":"10.1109\/WEC.2004.1319504"},{"issue":"4","key":"13_CR15","first-page":"365","volume":"4","author":"Kh Gaaloul","year":"2011","unstructured":"Gaaloul Kh, Proper HA, Zahoor E, Charoy F, Godart C (2011) A logical framework for reasoning about delegation policies in workflow management. Int J Inf Comput Secur 4(4):365\u2013388","journal-title":"Int J Inf Comput Secur"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Kotenko I, Tishkov A, Chervatuk O, Sidelnikova E (2007) Security policy verification tool for geographical information systems. Lecture notes in geoinformation and cartography, pp 128\u2013146","DOI":"10.1007\/978-3-540-37629-3_9"},{"issue":"1","key":"13_CR5","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R Kowalski","year":"1986","unstructured":"Kowalski R, Sergot M (1986) A logic-based calculus of events. New Gener Comput 4(1):67\u201395","journal-title":"New Gener Comput"},{"key":"13_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal verification of reactive systems: safety","author":"Z Manna","year":"1995","unstructured":"Manna Z, Pnueli A (1995) Temporal verification of reactive systems: safety. Springer, New York"},{"key":"13_CR3","unstructured":"Miller DR, Harris SH, Harper AA, VanDyke S, Black CH (2011) Security information and event management implementation. McGraw\u2013Hill Companies, New York"},{"key":"13_CR18","unstructured":"Montali M, Maggi FM, Chesani F, Mello P, Van der Aalst WMP (2011) Monitoring business constraints with the event calculus, 97. DEIS Technical report no. DEIS-LIA-002-11, LIA Series"},{"key":"13_CR25","unstructured":"Nowicka E, Zawada M (2006) Modeling temporal properties of multi-event attack signatures in interval temporal logic. In: Proceedings of the IEEE\/IST workshop on monitoring, attack detection and mitigation (MonAM 2006), Tuebingen, Germany, Sept, pp 89\u201393"},{"key":"13_CR28","unstructured":"On-The-Fly, Ltl Model Checking with SPIN (2013). http:\/\/spinroot.com\/spin\/whatispin.html"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Pnueli A (1977) The temporal logic of programs. In: Proceedings 18th IEEE symposium on foundations of computer science, Washington, DC, USA, pp 46\u201357","DOI":"10.1109\/SFCS.1977.32"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Rouached M, Claude G (2006) Securing web service compositions: formalizing authorization policies using event calculus, vol 4294. Lecture notes in computer science. Springer, Heidelberg, pp 440\u2013446","DOI":"10.1007\/11948148_37"},{"key":"13_CR4","unstructured":"Sattler U Description logic reasoners (2013). http:\/\/www.cs.man.ac.uk\/~sattler\/reasoners.html"},{"key":"13_CR24","unstructured":"Simko G, Sztipanovits J (2012) Active monitoring using real-time metric linear temporal logic specifications. In: Proceedings of the international conference on health informatics. Vilamoura, Algarve, 1\u20134 Feb, pp 370\u2013373"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Spanoudakis G, Christos K, Androutsopoulos K (2007) Towards security monitoring patterns. In: Proceedings of SAC\u201907, Seoul, Korea, 11\u201315 March, pp 1518\u20131525","DOI":"10.1145\/1244002.1244327"},{"key":"13_CR27","unstructured":"The CIFF Proof Procedure for Abductive Logic Programming (2006). http:\/\/staff.science.uva.nl\/~ulle\/ciff\/"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Tishkov A, Kotenko I, Sidelnikova E (2005) Security checker architecture for policy-based security management, vol 3685. Lecture notes in computer science. Springer, Heidelberg, pp 460\u2013465","DOI":"10.1007\/11560326_40"},{"key":"13_CR17","unstructured":"Tsang E, Olsen R, Masry SH (2013) The event calculus on high-frequency finance. http:\/\/www.bracil.net\/finance\/papers\/TsangOlsenMasri-EventCalculus-CCFEA2010.pdf"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Winwood S, Klein G, Chakravarty MMT (2006) On the automated synthesis of proof-carrying temporal reference monitors. Lecture notes in computer science, Springer, Berlin, pp 111\u2013126","DOI":"10.1007\/978-3-540-71410-1_9"}],"container-title":["Lecture Notes in Geoinformation and Cartography","Information Fusion and Geographic Information Systems (IF AND GIS 2013)"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31833-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T19:25:00Z","timestamp":1675797900000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-31833-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12,5]]},"ISBN":["9783642318320","9783642318337"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31833-7_13","relation":{},"ISSN":["1863-2246","1863-2351"],"issn-type":[{"type":"print","value":"1863-2246"},{"type":"electronic","value":"1863-2351"}],"subject":[],"published":{"date-parts":[[2013,12,5]]},"assertion":[{"value":"5 December 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}