{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:53:09Z","timestamp":1725486789755},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642335358"},{"type":"electronic","value":"9783642335365"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33536-5_12","type":"book-chapter","created":{"date-parts":[[2012,9,30]],"date-time":"2012-09-30T07:52:35Z","timestamp":1348991555000},"page":"111-125","source":"Crossref","is-referenced-by-count":3,"title":["Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud"],"prefix":"10.1007","author":[{"given":"Yosr","family":"Jarraya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arash","family":"Eghtesadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mourad","family":"Debbabi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ying","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Makan","family":"Pourzandi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Malcolm, D.: The Five Pillars of Cloud Computing (2009), \n                  \n                    http:\/\/soa.sys-con.com\/node\/904780\n                  \n                  \n                ; SOA & WOA magazine, Cloud Expo article (last visited, April 2012)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Jarraya, Y., Eghtesadi, A., Debbabi, M., Zhang, Y., Pourzandi, M.: Cloud calculus: Security verification in elastic cloud computing platform. In: The Proceeding of the 2012 International Conference on Collaboration Technologies and Systems (CTS), pp. 447\u2013454. IEEE (2012)","DOI":"10.1109\/CTS.2012.6261089"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded Model Checking. Advances in Computers, vol. 58, pp. 117\u2013148. Elsevier (2003)","DOI":"10.1016\/S0065-2458(03)58003-2"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Jeffrey, A., Samak, T.: Model Checking Firewall Policy Configurations. In: IEEE International Symposium on Policies for Distributed Systems and Networks, POLICY 2009, pp. 60\u201367 (July 2009)","DOI":"10.1109\/POLICY.2009.32"},{"key":"12_CR5","unstructured":"Tamura, N., Banbara, M.: Sugar: A CSP to SAT Translator Based on Order Encoding. In: The Proceedings of the Second International CSP Solver Competition, pp. 65\u201369 (2008)"},{"key":"12_CR6","unstructured":"Yuan, L., Chen, H., Mai, J., Chuah, C.-N., Su, Z., Mohapatra, P.: Fireman: a toolkit for firewall modeling and analysis. In: IEEE Symposium on Security and Privacy, pp. 199\u2013213 (May 2006)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Ben Youssef, N., Bouhoula, A.: Automatic Conformance Verification of Distributed Firewalls to Security Requirements. In: 2010 IEEE Second International Conference on Social Computing (SocialCom), pp. 834\u2013841 (August 2010)","DOI":"10.1109\/SocialCom.2010.126"},{"key":"12_CR8","unstructured":"Gawanmeh, A., Tahar, S.: Modeling and Verification of Firewall Configurations Using Domain Restriction Method. In: 6th International Conference on Internet Technology and Secured Transactions (December 2011)"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Al-Shaer, E., Marrero, W., El-Atawy, A., ElBadawi, K.: Network Configuration in a Box: Towards End-to-End Verification of Network Reachability and Security. In: 17th IEEE International Conference on Network Protocols, ICNP 2009, pp. 123\u2013132 (October 2009)","DOI":"10.1109\/ICNP.2009.5339690"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Acharya, H., Gouda, M.: Firewall Verification and Redundancy Checking are Equivalent. In: 2011 Proceedings IEEE INFOCOM, pp. 2123\u20132128 (April 2011)","DOI":"10.1109\/INFCOM.2011.5935023"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Kotenko, I., Polubelova, O.: Verification of Security Policy Filtering Rules by Model Checking. In: The Proceedings of the IEEE 6th International Conference on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS), vol.\u00a02, pp. 706\u2013710 (September 2011)","DOI":"10.1109\/IDAACS.2011.6072862"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Gouda, M., Liu, A., Jafry, M.: Verification of Distributed Firewalls. In: Global Telecommunications Conference, IEEE GLOBECOM 2008, pp. 1\u20135. IEEE (December 2008)","DOI":"10.1109\/GLOCOM.2008.ECP.388"},{"key":"12_CR13","series-title":"LNEE","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-27326-1_18","volume-title":"Future Computing, Communication, Control and Management","author":"Y. Yin","year":"2012","unstructured":"Yin, Y., Xu, J., Takahashi, N.: Verifying Consistency between Security Policy and Firewall Policy by Using a Constraint Satisfaction Problem Server. In: Zhang, Y. (ed.) Future Wireless Networks and Information Systems. LNEE, vol.\u00a0144, pp. 135\u2013146. Springer, Heidelberg (2012)"},{"issue":"1","key":"12_CR14","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.D.: Mobile Ambients. Theoretical Computer Science\u00a0240(1), 177\u2013213 (2000)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"12_CR15","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.ic.2005.06.002","volume":"202","author":"M. Bugliesi","year":"2005","unstructured":"Bugliesi, M., Crafa, S., Merro, M., Sassone, V.: Communication and Mobility Control in Boxed Ambients. Inf. Comput.\u00a0202(1), 39\u201386 (2005)","journal-title":"Inf. Comput."},{"key":"12_CR16","unstructured":"Syntax of sugar csp description (2010), \n                  \n                    http:\/\/bach.istc.kobe-u.ac.jp\/sugar\/sugar-v1-14-7\/docs\/syntax.html\n                  \n                  \n                 (last modified: Tuesday June 29, 13:09:26, 2010 JST)"},{"issue":"4","key":"12_CR17","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1049\/iet-ifs:20060171","volume":"1","author":"L. Lu","year":"2007","unstructured":"Lu, L., Safavi-Naini, R., Horton, J., Susilo, W.: Comparing and debugging firewall rule tables. IET Information Security\u00a01(4), 143\u2013151 (2007)","journal-title":"IET Information Security"},{"key":"12_CR18","unstructured":"Amazon.com, Amazon web services: Overview of security processes (May 2011), \n                  \n                    http:\/\/awsmedia.s3.amazonaws.com\/pdf\/AWS_Security_Whitepaper.pdf"},{"key":"12_CR19","unstructured":"van Harmelen, F., Lifschitz, V., Porter, B.: Handbook of Knowledge Representation. Elsevier Science (2008)"}],"container-title":["Lecture Notes in Computer Science","Stabilization, Safety, and Security of Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33536-5_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:14:35Z","timestamp":1620116075000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33536-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642335358","9783642335365"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33536-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}