{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:20:41Z","timestamp":1743052841478,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030312794"},{"type":"electronic","value":"9783030312800"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-31280-0_15","type":"book-chapter","created":{"date-parts":[[2019,10,7]],"date-time":"2019-10-07T23:06:50Z","timestamp":1570489610000},"page":"242-258","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Attack Tolerance for Services-Based Applications in the Cloud"],"prefix":"10.1007","author":[{"given":"Georges","family":"Ouffou\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fatiha","family":"Za\u00efdi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana R.","family":"Cavalli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,8]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Arsenault, D., Sood, A., Huang, Y.: Secure, resilient computing clusters: Self-cleansing intrusion tolerance with hardware enforced security (SCIT\/HES). In: The Second International Conference on Availability, Reliability and Security (ARES 2007), pp. 343\u2013350 (2007)","DOI":"10.1109\/ARES.2007.134"},{"key":"15_CR2","unstructured":"Beaucamps, P., Reynaud, D., Marion, J.Y., Filiol, E.: On the impact of malware on internet voting. In: 1st Luxembourg Day on Security and Reliability (2009)"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1007\/978-3-319-94289-6_30","volume-title":"Web Services \u2013 ICWS 2018","author":"AR Cavalli","year":"2018","unstructured":"Cavalli, A.R., Ortiz, A.M., Ouffou\u00e9, G., Sanchez, C.A., Za\u00efdi, F.: Design of a secure shield for internet and\u00a0web-based services using software\u00a0reflection. In: Jin, H., Wang, Q., Zhang, L.-J. (eds.) ICWS 2018. LNCS, vol. 10966, pp. 472\u2013486. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-94289-6_30"},{"key":"15_CR4","unstructured":"Estehghari, S., Desmedt, Y.: Exploiting the client vulnerabilities in internet e-voting systems: hacking helios 2.0 as an example. In: Proceedings of the 2010 International Conference on Electronic Voting Technology\/Workshop on Trustworthy Elections, pp. 1\u20139. USENIX Association (2010)"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Ficco, M., Rak, M.: Intrusion tolerant approach for denial of service attacks to web services. In: Proceedings of the 2011 First International Conference on Data Compression, Communications and Processing, CCP 2011, pp. 285\u2013292. IEEE Computer Society (2011)","DOI":"10.1109\/CCP.2011.44"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Furtado, T., Francesquini, E., Lago, N., Kon, F.: A middleware for reflective web service choreographies on the cloud. In: Proceedings of the 13th Workshop on Adaptive and Reflective Middleware, ARM 2014, pp. 9:1\u20139:6. ACM (2014)","DOI":"10.1145\/2677017.2677026"},{"issue":"2","key":"15_CR7","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0304-3975(94)00172-F","volume":"138","author":"M Hennessy","year":"1995","unstructured":"Hennessy, M., Lin, H.: Symbolic bisimulations. Theor. Comput. Sci. 138(2), 353\u2013389 (1995)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"15_CR8","first-page":"297","volume":"13","author":"BB Madan","year":"2004","unstructured":"Madan, B.B., Trivedi, K.S.: Security modeling and quantification of intrusion tolerant systems using attack-response graph. J. High Speed Netw. 13(4), 297\u2013308 (2004)","journal-title":"J. High Speed Netw."},{"key":"15_CR9","unstructured":"Nguyen, H.N.: Une Approche Symbolique pour la V\u00e9rification et le Test des Chor\u00e9graphies de Services. Ph.D. thesis, Universit\u00e9 Paris-Sud (2013)"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"O\u2019Brien, D., Smith, R., Kappel, T., Bitzer, C.: Intrusion tolerance via network layer controls. In: Proceedings DARPA Information Survivability Conference and Exposition, vol. 1, pp. 90\u201396 (2003)","DOI":"10.1109\/DISCEX.2003.1194948"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11550679_9","volume-title":"Software Composition","author":"S Pavel","year":"2005","unstructured":"Pavel, S., Noy\u00e9, J., Poizat, P., Royer, J.-C.: A java implementation of a component model with explicit symbolic protocols. In: Gschwind, T., A\u00dfmann, U., Nierstrasz, O. (eds.) SC 2005. LNCS, vol. 3628, pp. 115\u2013124. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11550679_9"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Qiu, Z., Zhao, X., Cai, C., Yang, H.: Towards the theoretical foundation of choreography. In: Proceedings of WWW 2007 (2007)","DOI":"10.1145\/1242572.1242704"},{"key":"15_CR13","unstructured":"Sadegh, B., Azgomi, M.A.: A new architecture for intrusion-tolerant web services based on design diversity techniques. J. Inf. Syst. Telecommun. (JIST), Autumn (2015)"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Sousa, P., Bessani, A., Neves, N.F., Obelheiro, R.: The forever service for fault\/intrusion removal. In: Proceedings of the 2nd Workshop on Recent Advances on Intrusiton-tolerant Systems, WRAITS 2008, pp. 5:1\u20135:6. ACM (2008)","DOI":"10.1145\/1413901.1413906"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Sousa, P., Bessani, A.N., Correia, M., Neves, N.F., Verissimo, P.: Resilient intrusion tolerance through proactive and reactive recovery. In: 13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007), pp. 373\u2013380 (2007)","DOI":"10.1109\/PRDC.2007.52"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-39871-4_14","volume-title":"Security Protocols","author":"A Valdes","year":"2004","unstructured":"Valdes, A., et al.: An architecture for an adaptive intrusion-tolerant server. In: Christianson, B., Crispo, B., Malcolm, J.A., Roe, M. (eds.) Security Protocols 2002. LNCS, vol. 2845, pp. 158\u2013178. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-39871-4_14"},{"issue":"4","key":"15_CR17","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/MSP.2006.95","volume":"4","author":"P.E. Verissimo","year":"2006","unstructured":"Verissimo, P.E.: Intrusion-tolerant middleware: the road to automatic security. IEEE Secur. Priv. 4(4), 54\u201362 (2006)","journal-title":"IEEE Security & Privacy Magazine"},{"key":"15_CR18","first-page":"729","volume":"2","author":"F Wang","year":"2003","unstructured":"Wang, F., Raghavendra, U., Killian, C.: Analysis of techniques for building intrusion tolerant server systems. IEEE Mil. Commun. Conf. (MILCOM) 2, 729\u2013734 (2003)","journal-title":"IEEE Mil. Commun. Conf. (MILCOM)"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-31280-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,24]],"date-time":"2024-07-24T17:58:15Z","timestamp":1721843895000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-31280-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030312794","9783030312800"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-31280-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"8 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTSS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Conference on Testing Software and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Paris","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pts2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ictss2019.centralesupelec.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"14","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"47% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2,1","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}