{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,30]],"date-time":"2024-08-30T10:03:48Z","timestamp":1725012228470},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,10,2]],"date-time":"2013-10-02T00:00:00Z","timestamp":1380672000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2015,1]]},"DOI":"10.1007\/s00607-013-0348-7","type":"journal-article","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T08:53:28Z","timestamp":1380617608000},"page":"51-78","source":"Crossref","is-referenced-by-count":11,"title":["Dependability certification of services: a model-based approach"],"prefix":"10.1007","volume":"97","author":[{"given":"Claudio A.","family":"Ardagna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ravi","family":"Jhawar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincenzo","family":"Piuri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,10,2]]},"reference":[{"key":"348_CR1","unstructured":"Alves A et al (2007) Web services business process execution language version 2.0. OASIS. http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"key":"348_CR2","doi-asserted-by":"crossref","unstructured":"Anisetti M, Ardagna C, Damiani E (2013) Security certification of composite services: a test-based approach. In: Proceedings of 20th IEEE international conference on web services","DOI":"10.1109\/ICWS.2013.70"},{"key":"348_CR3","doi-asserted-by":"crossref","unstructured":"Anisetti M, Ardagna C, Damiani E, Maggesi J (2012) Security certification-aware service discovery and selection. In: Proceedings of 5th international conference on service-oriented computing and applications","DOI":"10.1109\/SOCA.2012.6449460"},{"issue":"2","key":"348_CR4","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/2460383.2460384","volume":"7","author":"M Anisetti","year":"2013","unstructured":"Anisetti M, Ardagna C, Damiani E, Saonara F (2013) A test-based security certification scheme for web services. ACM Trans Web 7(2):5","journal-title":"ACM Trans Web"},{"key":"348_CR5","doi-asserted-by":"crossref","unstructured":"Ardagna C, Damiani E, Jhawar R, Piuri V (2012) A model-based approach to reliability certification of services. In: Proceedings of 6th international conference on digital ecosystem technologies\u2014 complex environment engineering","DOI":"10.1109\/DEST.2012.6227913"},{"issue":"1","key":"348_CR6","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis A, Laprie JC, Randell B, Landwehr C (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Dependable Secure Comput 1(1):11\u201333","journal-title":"IEEE Trans Dependable Secure Comput"},{"key":"348_CR7","doi-asserted-by":"crossref","unstructured":"Bentakouk L, Poizat P, Za\u00efdi F (2009) A formal framework for service orchestration testing based on symbolic transition systems. In: Proceedings of the 21st IFIP WG 6.1 international conference on testing of software and communication systems","DOI":"10.1007\/978-3-642-05031-2_2"},{"key":"348_CR8","doi-asserted-by":"crossref","unstructured":"Bentakouk L, Poizat P, Za\u00efdi F (2011) Checking the behavioral conformance of web services with symbolic testing and an SMT solver. In: Proceedings of 5th international conference on tests and proofs","DOI":"10.1007\/978-3-642-21768-5_4"},{"key":"348_CR9","doi-asserted-by":"crossref","unstructured":"Buckley I et al (2011) Towards pattern-based reliability certification of services. In: Proceedings of 1st international symposium on secure virtual infrastructures","DOI":"10.1007\/978-3-642-25106-1_10"},{"key":"348_CR10","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1109\/TSE.1980.234477","volume":"6","author":"RC Cheung","year":"1980","unstructured":"Cheung RC (1980) A user-oriented software reliability model. IEEE Trans Softw Eng 6:118\u2013125","journal-title":"IEEE Trans Softw Eng"},{"key":"348_CR11","doi-asserted-by":"crossref","unstructured":"Damiani E, Ardagna C, El Ioini N (eds) (2009) Open source systems security certification. Springer, NewYork","DOI":"10.1007\/978-0-387-77324-7"},{"key":"348_CR12","doi-asserted-by":"crossref","unstructured":"Damiani E, De Capitani di vimercati S, Paraboschi S, Samarati P (2002) Securing SOAP e-services. Int J Inf Secur 1(2):100\u2013115","DOI":"10.1007\/s102070100009"},{"issue":"3","key":"348_CR13","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1109\/TSC.2011.17","volume":"5","author":"Z Ding","year":"2012","unstructured":"Ding Z, Jiang M, Kandel A (2012) Port-based reliability computing for service composition. IEEE Transact Serv Comput 5(3):422\u2013436","journal-title":"IEEE Transact Serv Comput"},{"key":"348_CR14","unstructured":"Frantzen L, Tretmans J, de Vries R (2006) Towards model-based testing of web services. In: Proceedings of the international workshop on web services\u2014modeling and testing"},{"key":"348_CR15","doi-asserted-by":"crossref","DOI":"10.1201\/9781420031423","volume-title":"Using the common criteria for IT security evaluation","author":"D Herrmann","year":"2002","unstructured":"Herrmann D (2002) Using the common criteria for IT security evaluation. Auerbach Publications, Boca Raton"},{"key":"348_CR16","doi-asserted-by":"crossref","first-page":"1238","DOI":"10.1109\/TC.2009.31","volume":"58","author":"S Iyer","year":"2009","unstructured":"Iyer S, Nakayama M, Gerbessiotis A (2009) A Markovian dependability model with cascading failures. IEEE Trans Comput 58:1238\u20131249","journal-title":"IEEE Trans Comput"},{"key":"348_CR17","unstructured":"Jhawar R, Piuri V (2013) Adaptive resource management for balancing availability and performance in cloud computing. In: Proceedings of 10th international conference on security and cryptography"},{"key":"348_CR18","doi-asserted-by":"crossref","unstructured":"Jhawar R, Piuri V (2013) Fault tolerance and resilience in cloud computing environments. In: Computer and information security handbook, 2nd edn. Morgan Kaufmann, Burlington","DOI":"10.1016\/B978-0-12-394397-2.00007-6"},{"key":"348_CR19","doi-asserted-by":"crossref","unstructured":"Jhawar R, Piuri V, Samarati P (2012) Supporting security requirements for resource management in cloud computing. In: Proceedings of 15th IEEE international conference on computational science and engineering","DOI":"10.1109\/ICCSE.2012.32"},{"issue":"2","key":"348_CR20","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1109\/JSYST.2012.2221934","volume":"7","author":"R Jhawar","year":"2013","unstructured":"Jhawar R, Piuri V, Santambrogio M (2013) Fault tolerance management in cloud computing: a system-level perspective. IEEE Syst J 7(2):288\u2013297","journal-title":"IEEE Syst J"},{"key":"348_CR21","doi-asserted-by":"crossref","unstructured":"Keum C, Kang S, Ko IY, Baik J, Choi YI (2006) Generating test cases for web services using extended finite state machine. In: Proceedings of 18th IFIP international conference on testing communicating systems","DOI":"10.1007\/11754008_7"},{"issue":"2","key":"348_CR22","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1080\/09537280903441922","volume":"21","author":"D Kourtesis","year":"2010","unstructured":"Kourtesis D, Ramollari E, Dranidis D, Paraskakis I (2010) Increased reliability in SOA environments through registry-based conformance testing of web services. Prod Plan Control 21(2):130\u2013144","journal-title":"Prod Plan Control"},{"key":"348_CR23","doi-asserted-by":"crossref","unstructured":"Mateescu R, Rampacek S (2008) Formal modeling and discrete-time analysis of BPEL web services. Advances in enterprise engineering I, Lecture Notes in Business Information Processing, vol 10. Springer, Berlin\/Heidelberg, pp 179\u2013193","DOI":"10.1007\/978-3-540-68644-6_13"},{"key":"348_CR24","unstructured":"Muppala J, Malhotra M, Trivedi K (1996) Markov dependability models of complex systems: Analysis techniques. In: Reliability and maintenance of complex systems. NATO ASI Series F: Computer and Systems Sciences, vol 154, pp 442\u2013486"},{"issue":"4","key":"348_CR25","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1007\/s10270-008-0084-1","volume":"7","author":"S Mustafiz","year":"2008","unstructured":"Mustafiz S, Sun X, Kienzle J, Vangheluwe H (2008) Model-driven assessment of system dependability. Softw Syst Model 7(4):487\u2013502","journal-title":"Softw Syst Model"},{"key":"348_CR26","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1023\/A:1022308532661","volume":"6","author":"M Papazoglou","year":"2003","unstructured":"Papazoglou M (2003) Web services and business transactions. World Wide Web 6:49\u201391","journal-title":"World Wide Web"},{"key":"348_CR27","unstructured":"Pathak J, Basu S, Honavar V (2006) Modeling web service composition using symbolic transition systems. In: Proceedings of AAAI workshop on AI-driven technologies for service-oriented computing"},{"key":"348_CR28","doi-asserted-by":"crossref","unstructured":"Riccobene E, Potena P, Scandurra P (2012) Reliability prediction for service component architectures with the SCA-ASM component model. In: Proceedings of 38th EUROMICRO conference on software engineering and advanced applications","DOI":"10.1109\/SEAA.2012.53"},{"key":"348_CR29","doi-asserted-by":"crossref","unstructured":"Salva S, Laurencot P, Rabhi I (2010) An approach dedicated for web service security testing. In: Proceedings of 5th international conference on software engineering advances","DOI":"10.1109\/ICSEA.2010.84"},{"key":"348_CR30","doi-asserted-by":"crossref","unstructured":"Salva S, Rabhi I (2009) Automatic web service robustness testing from WSDL descriptions. In: Proceedings of 12th European workshop on dependable computing","DOI":"10.1109\/ICIW.2010.32"},{"key":"348_CR31","doi-asserted-by":"crossref","unstructured":"Samarati P, De Capitani di Vimercati S (2010) Data protection in outsourcing scenarios: issues and directions. In: Proceedings of 5th ACM symposium on information, computer and communications security. Beijing, China","DOI":"10.1145\/1755688.1755690"},{"key":"348_CR32","doi-asserted-by":"crossref","unstructured":"Tretmans J (2011) Model-based testing and some steps towards test-based modelling. In: Proceedings of 11th international school on formal methods for eternal networked software systems","DOI":"10.1007\/978-3-642-21455-4_9"},{"key":"348_CR33","doi-asserted-by":"crossref","unstructured":"Trivedi K et al (2009) Dependability and security models. In: Proceedings of 7th international workshop on design of reliable communication networks","DOI":"10.1109\/DRCN.2009.5340029"},{"key":"348_CR34","unstructured":"USA Department of Defence: Department Of Defense Trusted Computer System Evaluation Criteria (1985). http:\/\/csrc.nist.gov\/publications\/secpubs\/rainbow\/std001.txt"},{"key":"348_CR35","unstructured":"van Veenendaal E (2012) Standard glossary of terms used in Software Testing Version 2.2. International Software Testing Qualifications Board. http:\/\/www.astqb.org\/documents\/ISTQB_glossary_of_testing_terms_2.2.pdf . Accessed in August 2013"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-013-0348-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-013-0348-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-013-0348-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,27]],"date-time":"2019-07-27T17:49:43Z","timestamp":1564249783000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-013-0348-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,2]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,1]]}},"alternative-id":["348"],"URL":"https:\/\/doi.org\/10.1007\/s00607-013-0348-7","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10,2]]}}}