{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:44:45Z","timestamp":1725493485883},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540376286"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-37629-3_9","type":"book-chapter","created":{"date-parts":[[2007,10,28]],"date-time":"2007-10-28T22:24:51Z","timestamp":1193610291000},"page":"128-146","source":"Crossref","is-referenced-by-count":1,"title":["Security Policy Verification Tool for Geographical Information Systems"],"prefix":"10.1007","author":[{"given":"Igor","family":"Kotenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Artem","family":"Tishkov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olga","family":"Chervatuk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ekaterina","family":"Sidelnikova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"E. Al-Shaer, H. Hamed, R. Boutaba, M. Hasan: Conflict classification and analysis of distributed firewall policies. IEEE Journal on Selected Areas in Communications, Vol.23(10) (2005)","DOI":"10.1109\/JSAC.2005.854119"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., Tasiran, S.: Mocha: Modularity in model checking. Proceedings of the Tenth International Conference on Computer-aided Verification (CAV 1998), Lecture Notes in Computer Science, Springer-Verlag, Vol.1427 (1998)","DOI":"10.1007\/BFb0028774"},{"key":"9_CR3","unstructured":"Alur, R., Anand, H., Grosu, R., Ivancic, F., Kang, M., McDougall, M., Wang, B.-Y., de Alfaro, L., Henzinger, T.A., Horowitz, B., Majumdar, R., Mang, F.Y.C., Meyer-Kirsch, C., Minea, M., Qadeer, S., Rajamani, S.K., Raskin, J.-F.: Mocha User Manual. JMocha Version 2.0. http:\/\/embedded.eecs.berkeley.edu\/research\/mocha\/doc\/j-doc\/"},{"key":"9_CR4","unstructured":"Avizienis, A.: Dependability and Its Threats. http:\/\/citeseer.ist.psu.edu\/705929.html"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Bandara, A.K., Lupu, E.C., Russo, A.: Using Event Calculus to Formalise Policy Specification and Analysis. 4th IEEE Workshop on Policies for Distributed Systems and Networks (Policy 2003) (2003)","DOI":"10.1109\/POLICY.2003.1206955"},{"key":"9_CR6","unstructured":"Basile, C., Lioy, A.: Towards an algebraic approach to solve policy conflicts. FCS\u201904, Turku (Finland) (2004)"},{"key":"9_CR7","unstructured":"Cambridge University and TU Munich: Isabelle. http:\/\/isabelle.in.tum.de"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking. Proceedings of the International Conference on Computer-Aided Verification (CAV 2002), LNCS, Springer-Verlag, V.2404 (2002)","DOI":"10.1007\/3-540-45657-0_29"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Wing, J.: Formal methods: state of the art and future directions. ACM Computing Surveys: Special ACM 50th anniversary issue: strategic directions in computing research. Vol.28, No.4 (1996)","DOI":"10.1145\/242223.242257"},{"key":"9_CR10","unstructured":"The CIFF Proof Procedure for Abductive Logic Programming. http:\/\/www.doc.ic.ac.uk\/~ue\/ciff"},{"key":"9_CR11","unstructured":"Endriss, U., Mancarella, P., Sadri, F., Terreni, G., Toni, F.: The CIFF Proof Procedure: Definition and Soundness Results. Technical Report 2004\/2, Department of Computing, Imperial College London (2004)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Fung, T.H., Kowalski, R.A.: The IFF Proof Procedure for Abductive Logic. Programming Journal of Logic Programming, Vol.33, No.2 (1997)","DOI":"10.1016\/S0743-1066(97)00026-5"},{"key":"9_CR13","unstructured":"Gordon, M., Melham, T.: Introduction to HOL: A theorem proving environment for higher order logic. Cambridge University Press (1993)"},{"key":"9_CR14","unstructured":"Group, T.V.: VIS: A system for Verification and Synthesis. Proceedings of the 8th International Conference on Computer Aided Verification, Lecture Notes in Computer Science, Springer-Verlag, Vol.1102 (1996)"},{"key":"9_CR15","unstructured":"Hamed, H., Al-Shaer, E., Marrero, W.: Modeling and verification of IPSec and VPN security policies. IEEE ICNP\u201905 (2005)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Hartel, P.H., van Eck, P., Etalle, S., Wieringa, R.: Modelling Mobility Aspects of Security Policies. CASSIS 2004 (2004)","DOI":"10.1007\/978-3-540-30569-9_9"},{"key":"9_CR17","volume-title":"Design and Validation of Computer Protocols","author":"G.J. Holzmann","year":"1991","unstructured":"Holzmann, G.J.: Design and Validation of Computer Protocols. Englewood Cliffs, N.J.: Prentice Hall (1991)"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J.: The Model Checker SPIN. IEEE Transaction in Software Engineering, Vol.23, No.5 (1997)","DOI":"10.1109\/32.588521"},{"key":"9_CR19","unstructured":"IBM Formal Methods Research Group: IBM Formal Methods Home Page. http:\/\/www.haifa.il.ibm.com\/projects\/verification\/FormalMethods-Home"},{"key":"9_CR20","unstructured":"Intel Strategic CAD Labs. http:\/\/www.intel.com\/research\/scl"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Jackson, D., Rinard, M: Software Analysis: a Roadmap. Proceedings of 2000 ICSE (2000)","DOI":"10.1145\/336512.336545"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Jajodia, S., Samarati, P., Sapino, M.L., Subrahmanian, V.S.: Flexible support for multiple access control policies. ACM Transaction Database Systems, Vol.26, No.2 (2001)","DOI":"10.1145\/383891.383894"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive Logic Programming. Journal of Logic and Computation, Vol.2, No.6. (2003)","DOI":"10.1093\/logcom\/2.6.719"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Kaufmann, M., Moore, J.: An Industrial Strength Theorem Prover for a Logic Based on Common Lisp. IEEE Transactions on Software Engineering, Vol.23, No.4 (1997)","DOI":"10.1109\/32.588534"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. New Generation Computing, Vol.4 (1986)","DOI":"10.1007\/BF03037383"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Lupu, E., Sloman, M.: Conflicts in Policy-based Distributed Systems Management. IEEE Transactions on Software Engineering, Vol.25, No.6, 1999.","DOI":"10.1109\/32.824414"},{"key":"9_CR27","unstructured":"Madhavapeddy, A., Mycroft, A., Scott, D., Sharp, R.: The case for abstracting security policies. International Conference on Security and Management (SAM), CSREA Press, Vol.1 (2003)"},{"key":"9_CR28","unstructured":"McMillan, K.: The SMV System. http:\/\/www.cs.cmu.edu\/_modelcheck\/smv.html"},{"key":"9_CR29","unstructured":"Mitchell, J.C., Mitchell, M., Stern, U.: Automated analysis of cryptographic protocols using Murphi. Proceedings of IEEE Symposium on Security and Privacy (1997)"},{"key":"9_CR30","unstructured":"Mitchell, J.C., Shmatikov, V., Stern, U.: Finite-State Analysis of SSL 3.0. Proceedings of 7th USENIX Security Symposium (1998)"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"Nalumasu, R., Gopalakrishnan, G.: PV: an Explicit Enumeration Modelchecker. Formal Methods in Computer Aided Design FMCAD\u201998. Lecture Notes in Computer Science, Springer-Verlag, Vol.1522 (1998)","DOI":"10.1007\/3-540-49519-3_35"},{"key":"9_CR32","unstructured":"On-The-Fly, LTL Model Checking with SPIN. http:\/\/netlib.belllabs.com\/netlib\/spin\/whatispin.html"},{"key":"9_CR33","unstructured":"Powell, D., Deswarte, Y.: On Dependability Concepts with respect to Deliberately Malicious Faults. http:\/\/citeseer.ist.psu.edu\/480547.html"},{"key":"9_CR34","unstructured":"Randell, B.: Dependability-a unifying concept. Computer Security, Dependability, and Assurance: From Needs to Solutions. IEEE Computer Society (1999)"},{"key":"9_CR35","doi-asserted-by":"crossref","unstructured":"Schneider, F.B.: Enforceable security policies. ACM Transactions on Information and System Security, Vol.3, No.1 (2000)","DOI":"10.1145\/353323.353382"},{"key":"9_CR36","unstructured":"SICStus Prolog. http:\/\/www.sics.se\/isl\/sicstuswww\/site\/index.html"},{"key":"9_CR37","unstructured":"Westerinen, A., Strassner, J., Scherling, M., Quinn, B., Herzog, S., Huynh, A., Carlson, M., Perry, J., Waldbusser, S.: Terminology for Policy-Based Management (RFC 3198). www.rfc-archive.org\/getrfc.php?rfc=3198"}],"container-title":["Lecture Notes in Geoinformation and Cartography","Information Fusion and Geographic Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-37629-3_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:41:46Z","timestamp":1620013306000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-37629-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540376286"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-37629-3_9","relation":{},"subject":[]}}