{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:47:14Z","timestamp":1743144434015,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319690346"},{"type":"electronic","value":"9783319690353"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-69035-3_5","type":"book-chapter","created":{"date-parts":[[2017,10,17]],"date-time":"2017-10-17T09:57:25Z","timestamp":1508234245000},"page":"65-79","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Cloud Certification Process Validation Using Formal Methods"],"prefix":"10.1007","author":[{"given":"Maria","family":"Krotsiani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos","family":"Kloukinas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Spanoudakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,18]]},"reference":[{"key":"5_CR1","unstructured":"Amazon CloudWatch, http:\/\/aws.amazon.com\/cloudwatch\/"},{"key":"5_CR2","unstructured":"COBIT, http:\/\/www.isaca.org"},{"key":"5_CR3","unstructured":"CyberSure (CYBER Security inSURancE), http:\/\/cybersure.eu\/"},{"key":"5_CR4","unstructured":"Prism Model Checker, http:\/\/www.prismmodelchecker.org\/"},{"key":"5_CR5","unstructured":"Securing Web services for army SOA, www.sei.cmu.edu\/solutions\/softwaredev\/securing-web-services.cfm"},{"key":"5_CR6","unstructured":"TRUSTe, http:\/\/www.truste.com\/"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Anisetti, M., Ardagna, C.A., Damiani, E.: Defining and matching test-based certificates in open SOA. In: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 520\u2013522. IEEE (2011)","DOI":"10.1109\/ICSTW.2011.7"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-642-16961-8_11","volume-title":"On the Move to Meaningful Internet Systems: OTM 2010 Workshops","author":"M Anisetti","year":"2010","unstructured":"Anisetti, M., Ardagna, C.A., Guida, F., G\u00fcrgens, S., Lotz, V., Ma\u00f1a, A., Pandolfo, C., Pazzaglia, J.-C., Pujol, G., Spanoudakis, G.: ASSERT4SOA: toward security certification of service-oriented applications. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2010. LNCS, vol. 6428, pp. 38\u201340. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-16961-8_11"},{"key":"5_CR9","unstructured":"Ccdb, USB Working Group: Common Criteria (CC) for Information Technology Security Evaluation (2012), http:\/\/www.commoncriteriaportal.org"},{"key":"5_CR10","unstructured":"Cloud Industry Forum: CIF Guidance, www.cloudindustryforum.org\/about-us"},{"key":"5_CR11","unstructured":"CSA: Cloud Trusted Protocol, https:\/\/cloudsecurityalliance.org\/research\/ctp\/"},{"key":"5_CR12","unstructured":"CSA: CSA Security, Trust and Assurance Resigtry (STAR), https:\/\/cloudsecurityalliance.org\/star\/"},{"key":"5_CR13","volume-title":"Open Source Systems Security Certification","author":"E Damiani","year":"2008","unstructured":"Damiani, E., Ardagna, C.A., El Ioini, N.: Open Source Systems Security Certification. Springer, US (2008)"},{"key":"5_CR14","unstructured":"ENISA: Security Certification Practice in the EU: Information Security Management Systems - A Case Study (2013), https:\/\/www.enisa.europa.eu\/"},{"key":"5_CR15","unstructured":"FedRAMP Office: Guide to Understanding FedRAMP (2013), www.gsa.gov\/portal\/mediaId\/170599\/fileName\/Guide_to_Understanding_FedRAMP_042213"},{"key":"5_CR16","unstructured":"FISMA: Federal Information Security Management, https:\/\/www.dhs.gov\/federal-information-security-management-act-fisma"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Foster, H., Spanoudakis, G.: Advanced service monitoring configurations with SLA decomposition and selection. In: Proceedings of ACM Symposium on Applied Computing, pp. 1582\u20131589. ACM (2011)","DOI":"10.1145\/1982185.1982519"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Foster, H., Spanoudakis, G.: Smart: A workbench for reporting the monitorability of services from SLAs. In: Proceedings of 3rd International Workshop on Principles of Engineering Service-Oriented Systems, pp. 36\u201342. ACM (2011)","DOI":"10.1145\/1985394.1985400"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Katopodis, S., Spanoudakis, G., Mahbub, K.: Towards hybrid cloud service certification models. In: IEEE International Conference on Services Computing, SCC, pp. 394\u2013399. IEEE Computer Society (2014), http:\/\/dx.doi.org\/10.1109\/SCC.2014.59","DOI":"10.1109\/SCC.2014.59"},{"key":"5_CR20","unstructured":"Krotsiani, M., Spanoudakis, G., Mahbub, K.: Incremental certification of cloud services. In: SECURWARE 2013\u20137th International Conference on Emerging Security Information, Systems and Technologies, pp. 72\u201380 (2013)"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-22110-1_47"},{"key":"5_CR22","unstructured":"Lagazio, M., Barnard-Wills, D., Rodrigues, R., Wright, D.: Certification schemes for cloud computing. EU Commission Report, http:\/\/dx.doi.org\/10.2759\/64404"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Li, M., Zang, W., Bai, K., Yu, M., Liu, P.: MyCloud: Supporting user-configured privacy protection in cloud computing. In: Proceedings of 29th Annual Computer Security Applications Conference, pp. 59\u201368. ACM (2013)","DOI":"10.1145\/2523649.2523680"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Mu\u00f1oz, A., Ma\u00f1a, A.: Bridging the gap between software certification and trusted computing for securing cloud computing. In: Ninth World Congress on Services, pp. 103\u2013110. IEEE (2013)","DOI":"10.1109\/SERVICES.2013.15"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Norman, G., Parker, D., Sproston, J.: Model checking for probabilistic timed automata. Formal Methods Syst. Des. 43(2), 164\u2013190 (2013), http:\/\/dx.doi.org\/10.1007\/s10703-012-0177-x","DOI":"10.1007\/s10703-012-0177-x"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Rosu, G., Serbanuta, T.: An overview of the K semantic framework. J. Log. Algebr. Program. 79(6), 397\u2013434 (2010), http:\/\/dx.doi.org\/10.1016\/j.jlap.2010.03.012","DOI":"10.1016\/j.jlap.2010.03.012"},{"key":"5_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/3-540-48317-9_17","volume-title":"Artificial Intelligence Today","author":"M Shanahan","year":"1999","unstructured":"Shanahan, M.: The event calculus explained. In: Wooldridge, M.J., Veloso, M. (eds.) Artificial Intelligence Today. LNCS, vol. 1600, pp. 409\u2013430. Springer, Heidelberg (1999). doi:10.1007\/3-540-48317-9_17"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Spanoudakis, G., Kloukinas, C., Mahbub, K.: The SERENITY runtime monitoring framework. In: Kokolakis, S., G\u00f3mez, A.M., Spanoudakis, G. (eds.) Security and Dependability for Ambient Intelligence. AIDS, vol. 45, pp. 213\u2013237. Springer, Boston (2009), http:\/\/dx.doi.org\/10.1007\/978-0-387-88775-3_13","DOI":"10.1007\/978-0-387-88775-3_13"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-69035-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T16:34:32Z","timestamp":1709829272000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-69035-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319690346","9783319690353"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-69035-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"18 October 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Service-Oriented Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Malaga","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 November 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoc2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.icsoc.org","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}