{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T12:46:58Z","timestamp":1780922818836,"version":"3.54.1"},"publisher-location":"Singapore","reference-count":35,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819550142","type":"print"},{"value":"9789819550159","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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":[[2026]]},"DOI":"10.1007\/978-981-95-5015-9_12","type":"book-chapter","created":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T02:04:29Z","timestamp":1767319469000},"page":"159-174","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards Trusted Service Monitoring: Verifiable Service Level Agreements"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-6835-8711","authenticated-orcid":false,"given":"Fernando","family":"Castillo","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-9996-6333","authenticated-orcid":false,"given":"Eduardo","family":"Brito","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8051-7226","authenticated-orcid":false,"given":"Sebastian","family":"Werner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3255-7001","authenticated-orcid":false,"given":"Pille","family":"Pullonen-Raudvere","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4239-8534","authenticated-orcid":false,"given":"Jonathan","family":"Heiss","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,1,2]]},"reference":[{"issue":"1","key":"12_CR1","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1186\/s13677-023-00409-7","volume":"12","author":"A Alzubaidi","year":"2023","unstructured":"Alzubaidi, A., et al.: A blockchain-based SLA monitoring and compliance assessment for IoT ecosystems. J. Cloud Comput. 12(1), 50 (2023)","journal-title":"J. Cloud Comput."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Aziz, B., et\u00a0al.: A systematic literature review of cyber insurance challenges. In: 2020 International Conference on Information Technology Systems and Innovation (ICITSI), pp. 357\u2013363. IEEE (2020)","DOI":"10.1109\/ICITSI50517.2020.9264966"},{"key":"12_CR3","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2020.102656","volume":"162","author":"NZ Benisi","year":"2020","unstructured":"Benisi, N.Z., et al.: Blockchain-based decentralized storage networks: a survey. J. Netw. Comput. Appl. 162, 102656 (2020)","journal-title":"J. Netw. Comput. Appl."},{"key":"12_CR4","unstructured":"Brasser, F., Jauernig, P., Pustelnik, F., Sadeghi, A.R., Stapf, E.: Trusted container extensions for container-based confidential computing. arXiv preprint arXiv:2205.05747 (2022)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Brito, E., Castillo, F., Pullonen-Raudvere, P., Werner, S.: TrustOps: continuously building trustworthy software. In: International Conference on Enterprise Design, Operations, and Computing, pp. 53\u201367. Springer (2024)","DOI":"10.1007\/978-3-031-79059-1_4"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Castillo, F., Heiss, J., Werner, S., Tai, S.: Trusted compute units: a framework for chained verifiable computations. In: 2025 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), pp.\u00a01\u20139 (2025)","DOI":"10.1109\/ICBC64466.2025.11114627"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Drean, J., et\u00a0al.: Teaching an old dog new tricks: verifiable FHE using commodity hardware. arXiv preprint arXiv:2412.03550 (2024)","DOI":"10.56553\/popets-2025-0099"},{"key":"12_CR8","unstructured":"Ernstberger, J., et\u00a0al.: Do you need a zero knowledge proof? Cryptology ePrint Archive (2024)"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Freitas, A.L., Parlavantzas, N., Pazat, J.L.: Cost reduction through SLA-driven self-management. In: 2011 IEEE Ninth European Conference on Web Services, pp. 117\u2013124. IEEE (2011)","DOI":"10.1109\/ECOWS.2011.23"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-030-33702-5_2","volume-title":"Service-Oriented Computing","author":"A Gamez-Diaz","year":"2019","unstructured":"Gamez-Diaz, A., Fernandez, P., Ruiz-Cortes, A.: Automating SLA-driven API development with SLA4OAI. In: Yangui, S., Bouassida Rodriguez, I., Drira, K., Tari, Z. (eds.) ICSOC 2019. LNCS, vol. 11895, pp. 20\u201335. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-33702-5_2"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-030-91431-8_9","volume-title":"Service-Oriented Computing","author":"J Heiss","year":"2021","unstructured":"Heiss, J., Busse, A., Tai, S.: Trustworthy pre-processing of sensor data in data on-chaining workflows for blockchain-based IoT applications. In: Hacid, H., Kao, O., Mecella, M., Moha, N., Paik, H. (eds.) ICSOC 2021. LNCS, vol. 13121, pp. 133\u2013149. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-91431-8_9"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1007\/978-3-319-12643-2_83","volume-title":"Neural Information Processing","author":"W Hussain","year":"2014","unstructured":"Hussain, W., Hussain, F.K., Hussain, O.K.: Maintaining trust in cloud computing through SLA monitoring. In: Loo, C.K., Yap, K.S., Wong, K.W., Beng Jin, A.T., Huang, K. (eds.) ICONIP 2014, Part III. LNCS, vol. 8836, pp. 690\u2013697. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-12643-2_83"},{"issue":"4","key":"12_CR13","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1093\/comjnl\/bxu138","volume":"58","author":"A Kanwal","year":"2015","unstructured":"Kanwal, A., Masood, R., Shibli, M.A., Mumtaz, R.: Taxonomy for trust models in cloud computing. Comput. J. 58(4), 601\u2013626 (2015)","journal-title":"Comput. J."},{"issue":"12","key":"12_CR14","doi-asserted-by":"publisher","first-page":"159","DOI":"10.3390\/computers10120159","volume":"10","author":"N Kapsoulis","year":"2021","unstructured":"Kapsoulis, N., et al.: Reinforcing SLA consensus on blockchain. Computers 10(12), 159 (2021)","journal-title":"Computers"},{"key":"12_CR15","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1023\/A:1022445108617","volume":"11","author":"A Keller","year":"2003","unstructured":"Keller, A., Ludwig, H.: The WSLA framework: specifying and monitoring service level agreements for web services. J. Netw. Syst. Manage. 11, 57\u201381 (2003)","journal-title":"J. Netw. Syst. Manage."},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Khan, K.M., et\u00a0al.: Blockchain-enabled real-time SLA monitoring for cloud-hosted services. Cluster Comput., 1\u201323 (2022)","DOI":"10.1007\/s10586-021-03416-y"},{"key":"12_CR17","unstructured":"Lavin, R., et\u00a0al.: A survey on the applications of zero-knowledge proofs. arXiv preprint arXiv:2408.00243 (2024)"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-662-48616-0_9","volume-title":"Service-Oriented Computing","author":"H Ludwig","year":"2015","unstructured":"Ludwig, H., et al.: rSLA: monitoring SLAs in dynamic service environments. In: Barros, A., Grigori, D., Narendra, N.C., Dam, H.K. (eds.) ICSOC 2015. LNCS, vol. 9435, pp. 139\u2013153. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-48616-0_9"},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1016\/j.future.2015.03.011","volume":"55","author":"M Macias","year":"2016","unstructured":"Macias, M., Guitart, J.: Analysis of a trust model for SLA negotiation and enforcement in cloud markets. Futur. Gener. Comput. Syst. 55, 460\u2013472 (2016)","journal-title":"Futur. Gener. Comput. Syst."},{"key":"12_CR20","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2023.103180","volume":"129","author":"A Mu\u00f1oz","year":"2023","unstructured":"Mu\u00f1oz, A., R\u00edos, R., Rom\u00e1n, R., L\u00f3pez, J.: A survey on the (in) security of trusted execution environments. Comput. Secur. 129, 103180 (2023)","journal-title":"Comput. Secur."},{"key":"12_CR21","unstructured":"Nicolazzo, S., Nocera, A., Pedrycz, W.: Service level agreements and security SLA: a comprehensive survey. arXiv preprint arXiv:2405.00009 (2024)"},{"issue":"2","key":"12_CR22","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/s10207-025-01010-6","volume":"24","author":"CC Novo","year":"2025","unstructured":"Novo, C.C., et al.: Applications of cyber insurance in smart cities: a systematic literature review. Int. J. Inf. Secur. 24(2), 93 (2025)","journal-title":"Int. J. Inf. Secur."},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Petcu, D., Cr\u0103ciun, C.: Towards a security SLA-based cloud monitoring service. In: International Conference on Cloud Computing and Services Science, vol.\u00a02, pp. 598\u2013603. SciTePress (2014)","DOI":"10.5220\/0004957305980603"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Sadovykh, A., et al.: VeriDevOps: automated protection and prevention to meet security requirements in DevOps. In: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 1330\u20131333. IEEE (2021)","DOI":"10.23919\/DATE51398.2021.9474185"},{"key":"12_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-319-99819-0_7","volume-title":"Service-Oriented and Cloud Computing","author":"C Schubert","year":"2018","unstructured":"Schubert, C., Borkowski, M., Schulte, S.: Trustworthy detection and arbitration of SLA violations in the cloud. In: Kritikos, K., Plebani, P., de Paoli, F. (eds.) ESOCC 2018. LNCS, vol. 11116, pp. 90\u2013104. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99819-0_7"},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"Segarra, C., Feldman-Fitzthum, T., Buono, D., Pietzuch, P.: Serverless confidential containers: challenges and opportunities. In: Proceedings of the 2nd Workshop on SErverless Systems, Applications and MEthodologies, pp. 32\u201340 (2024)","DOI":"10.1145\/3642977.3652097"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Sghaier, R., et\u00a0al.: A review on SLA monitoring based on blockchain. In: International Conference on Intelligent Systems Design and Applications. Springer (2023)","DOI":"10.1007\/978-3-031-64650-8_46"},{"key":"12_CR28","doi-asserted-by":"crossref","unstructured":"Shen, Y., Chen, G., Ma, H., Zhang, M.: Cost-aware dynamic cloud workflow scheduling using self-attention and evolutionary reinforcement learning. In: International Conference on Service-Oriented Computing, pp. 3\u201318. Springer (2024)","DOI":"10.1007\/978-981-96-0808-9_1"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"Thaler, J., et\u00a0al.: Proofs, arguments, and zero-knowledge. Found. Trends\u00ae Priv. Secur. 4(2\u20134), 117\u2013660 (2022)","DOI":"10.1561\/3300000030"},{"issue":"3","key":"12_CR30","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1007\/s10207-023-00660-8","volume":"22","author":"A Tsohou","year":"2023","unstructured":"Tsohou, A., Diamantopoulou, V., Gritzalis, S., Lambrinoudakis, C.: Cyber insurance: state of the art, trends and future directions. Int. J. Inf. Secur. 22(3), 737\u2013748 (2023)","journal-title":"Int. J. Inf. Secur."},{"key":"12_CR31","doi-asserted-by":"crossref","unstructured":"Wang, X., Yu, R., Yang, D., Gu, H., Li, Z.: VeriEdge: verifying and enforcing service level agreements for pervasive edge computing. In: IEEE INFOCOM 2024-IEEE Conference on Computer Communications, pp. 2149\u20132158. IEEE (2024)","DOI":"10.1109\/INFOCOM52122.2024.10621128"},{"issue":"3","key":"12_CR32","doi-asserted-by":"publisher","first-page":"2783","DOI":"10.1109\/TNSM.2023.3234862","volume":"20","author":"N Weerasinghe","year":"2023","unstructured":"Weerasinghe, N., et al.: Proof-of-monitoring (PoM): a novel consensus mechanism for blockchain-based secure service level agreement management. IEEE Trans. Netw. Serv. Manage. 20(3), 2783\u20132803 (2023)","journal-title":"IEEE Trans. Netw. Serv. Manage."},{"key":"12_CR33","doi-asserted-by":"crossref","unstructured":"Yang, Y., et\u00a0al.: Dual-tree genetic programming for deadline-constrained dynamic workflow scheduling in cloud. In: International Conference on Service-Oriented Computing, pp. 433\u2013448. Springer (2022)","DOI":"10.1007\/978-3-031-20984-0_31"},{"key":"12_CR34","doi-asserted-by":"crossref","unstructured":"Zhou, H., Ouyang, X., Ren, Z., Su, J., de\u00a0Laat, C., Zhao, Z.: A blockchain based witness model for trustworthy cloud service level agreement enforcement. In: IEEE INFOCOM 2019-IEEE Conference on Computer Communications, pp. 1567\u20131575. IEEE (2019)","DOI":"10.1109\/INFOCOM.2019.8737580"},{"key":"12_CR35","doi-asserted-by":"crossref","unstructured":"Ziegler, W.: Cloud computing. In: Computational Life Sciences: Data Engineering and Data Mining for Life Sciences, pp. 277\u2013299. Springer (2023)","DOI":"10.1007\/978-3-031-08411-9_10"}],"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-981-95-5015-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T02:04:31Z","timestamp":1767319471000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-95-5015-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9789819550142","9789819550159"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-981-95-5015-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"2 January 2026","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":"Shenzhen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 December 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 December 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoc2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icsoc2025.hit.edu.cn\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}