{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:50:40Z","timestamp":1742989840193,"version":"3.40.3"},"publisher-location":"New York, NY","reference-count":49,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781461475347"},{"type":"electronic","value":"9781461475354"}],"license":[{"start":{"date-parts":[[2013,8,6]],"date-time":"2013-08-06T00:00:00Z","timestamp":1375747200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,8,6]],"date-time":"2013-08-06T00:00:00Z","timestamp":1375747200000},"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":[[2014]]},"DOI":"10.1007\/978-1-4614-7535-4_7","type":"book-chapter","created":{"date-parts":[[2013,8,5]],"date-time":"2013-08-05T08:57:15Z","timestamp":1375693035000},"page":"147-170","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Certification-Aware Service-Oriented Architecture"],"prefix":"10.1007","author":[{"given":"Marco","family":"Anisetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio A.","family":"Ardagna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Bezzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernesto","family":"Damiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samuel Paul","family":"Kaluvuri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonino","family":"Sabetta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,8,6]]},"reference":[{"key":"7_CR1","unstructured":"A. Alves et al.: Web Services Business Process Execution Language Version 2.0. OASIS (2007). http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html, Accessed in date September 2012"},{"key":"7_CR2","unstructured":"A. Banerji et al.: Web Services Conversation Language (WSCL) version 1.0. World Wide Web Consortium (W3C) (2002). http:\/\/www.w3.org\/TR\/wscl10\/, Accessed in date September 2012"},{"key":"7_CR3","unstructured":"Agence Nationale de la S\u00e9curit\u00e9 des Syst\u00e8mes d\u2019Information (ANSSI): Certificat de S\u00e9curit\u00e9 de Premier Niveau. http:\/\/www.ssi.gouv.fr\/fr\/certification-qualification\/cspn\/, Accessed in date September 2012"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, New York, NY, USA (2008)","DOI":"10.1017\/CBO9780511809163"},{"key":"7_CR5","unstructured":"Andrikopoulos, V., S., Benbernou, Papazoglou, M.: On the evolution of services. IEEE Transactions on Software Engineering PP(99) (2011)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Anisetti, M., Ardagna, C., Damiani, E.: Certifying security and privacy properties in the internet of services. In: L. Salgarelli, G. Bianchi, N. Blefari-Melazzi (eds.) Trustworthy Internet. Springer (2011)","DOI":"10.1007\/978-88-470-1818-1_17"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Anisetti, M., Ardagna, C., Damiani, E.: Fine-grained modeling of web services for test-based security certification. In: Proc. of the 8th International Conference on Service Computing (SCC 2011). Washington, DC, USA (2011)","DOI":"10.1109\/SCC.2011.27"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Anisetti, M., Ardagna, C., Damiani, E.: A low-cost security certification scheme for evolving services. In: Proc. of the 19th IEEE International Conference on Web Services (ICWS 2012). Honolulu, HI, USA (2012)","DOI":"10.1109\/ICWS.2012.53"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Baresi, L., Di Nitto, E.: Test and Analysis of Web Services. Springer, New York, USA (2007)","DOI":"10.1007\/978-3-540-72912-9"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Bentakouk, L., Poizat, P., Za\u00efdi, F.: Checking the behavioral conformance of web services with symbolic testing and an SMT solver. In: Proc. of the 5th International Conference on Tests & Proofs (TAP 2011). Z\u00fcrich, Switzerland (2011)","DOI":"10.1007\/978-3-642-21768-5_4"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Bezzi, M., Kaluvuri, S., Sabetta, A.: Ensuring trust in service consumption through security certification. In: Proc. of the International Workshop on Quality Assurance for Service-Based Applications (QASBA 2011). Lugano, Switzerland (2011)","DOI":"10.1145\/2031746.2031758"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Bezzi, M., Sabetta, A., Spanoudakis, G.: An architecture for certification-aware service discovery. In: Proc. of the 1st IEEE International Workshop on Securing Services on the Cloud (IWSSC 2011). Milan, Italy (2011)","DOI":"10.1109\/IWSSCloud.2011.6049020"},{"key":"7_CR13","unstructured":"Bozkurt, M., Harman, M., Hassoun, Y.: Testing web services: A survey. In: Technical Report TR-10-01. Department of Computer Science, King\u2019s College London (2010)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Canfora, G., di Penta, M.: Service-oriented architectures testing: A survey. Software Engineering: International Summer Schools, ISSSE 2006\u20132008 1, 78\u2013105 (2009)","DOI":"10.1007\/978-3-540-95888-8_4"},{"key":"7_CR15","unstructured":"CCHIT: Certification Commission for Healthcare Information Technology. http:\/\/www.cchit.org\/, Accessed in date September 2012"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Chang, E., Hussain, F., Dillon, T.: Trust and Reputation for Service-Oriented Environments: Technologies For Building Business Intelligence And Consumer Confidence. John Wiley & Sons, Ltd (2006)","DOI":"10.1002\/9780470028261"},{"key":"7_CR17","unstructured":"Chinnici, R., Moreau, J., Ryman, A., Weerawarana, S.: Web Services Description Language (WSDL) version 2.0. World Wide Web Consortium (W3C) (2007). http:\/\/www.w3.org\/TR\/wsdl20\/, Accessed in date September 2012"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Damiani, E., Ardagna, C., El Ioini, N.: Open source systems security certification. Springer, New York, NY, USA (2009)","DOI":"10.1007\/978-0-387-77324-7"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Damiani, E., De Capitani di Vimercati, S., Paraboschi, S., Samarati, P.: Securing SOAP e-services. International Journal of Information Security (IJIS) 1(2), 100\u2013115 (2002)","DOI":"10.1007\/s102070100009"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Endo, A., Simao, A.: Model-based testing of service-oriented applications via state models. In: Proc. of the 8th IEEE International Conference of Service Computing (SCC 2011). Washington, DC, USA (2011)","DOI":"10.1109\/SCC.2011.77"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Focardi, R., Gorrieri, R., Martinelli, F.: Classification of security properties (Part II: Network security). In: R. Focardi, R. Gorrieri (eds.) Foundations of Security Analysis and Design II - Tutorial Lectures. Springer Berlin \/ Heidelberg (2004)","DOI":"10.1007\/b95547"},{"key":"7_CR22","unstructured":"Frantzen, L., Tretmans, J., de Vries, R.: Towards model-based testing of web services. In: Proc. of the International Workshop on Web Services - Modeling and Testing (WS-MaTe 2006). Palermo, Italy (2006)"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Frantzen, L., Tretmans, J., Willemse, T.: Test generation based on symbolic specifications. In: Proc. of the 4th International Workshop on Formal Approaches to Software Testing (FATES 2004). Linz, Austria (2004)","DOI":"10.1007\/978-3-540-31848-4_1"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Herrmann, D.: Using the Common Criteria for IT security evaluation. Auerbach Publications (2002)","DOI":"10.1201\/9781420031423"},{"key":"7_CR25","unstructured":"Irvine, C., Levin, T.: Toward a taxonomy and costing method for security services. In: Proc. of the 15th Annual Conference on Computer Security Applications (ACSAC 1999). Phoenix, AZ, USA (1999)"},{"key":"7_CR26","unstructured":"Jahl, C.: The information technology security evaluation criteria. In: Proc. of the 13th International Conference on Software Engineering (ICSE 1991). Austin, TX, USA (1991)"},{"issue":"3","key":"7_CR27","doi-asserted-by":"crossref","first-page":"5411","DOI":"10.1016\/j.eswa.2008.06.087","volume":"36","author":"B. Jeong","year":"2009","unstructured":"Jeong, B., Cho, H., Lee, C.: On the functional quality of service (FQoS) to discover and compose interoperable web services. Expert Systems with Applications 36(3, Part 1), 5411\u20135418 (2009)","journal-title":"Expert Systems with Applications"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Jokhio, M., Dobbie, G., Sun, J.: Towards specification based testing for semantic web services. In: Proc. of the 20th Australian Software Engineering Conference (ASWEC 2009). Gold Coast, Australia (2009)","DOI":"10.1109\/ASWEC.2009.38"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"J\u00fcrjens, J.: Model-based security testing using UMLsec: A case study. Electronic Notes in Theoretical Computer Science 220(1), 93\u2013104 (2008)","DOI":"10.1016\/j.entcs.2008.11.008"},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"Keum, C., Kang, S., Ko, I.Y., Baik, J., Choi, Y.I.: Generating test cases for web services using extended finite state machine. In: Proc. of the 18th IFIP International Conference on Testing Communicating Systems (TestCom 2006). New York, NY, USA (2006)","DOI":"10.1007\/11754008_7"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Kim, A., Luo, J., Kang, M.: Security ontology for annotating resources. In: Proc. of the 4th International Conference on Ontologies, Databases, and Applications of Semantics (ODBASE 2005). Agia Napa, Cyprus (2005)","DOI":"10.1007\/11575801_34"},{"issue":"2","key":"7_CR32","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.: Increased reliability in SOA environments through registry-based conformance testing of web services. Production Planning & Control 21(2), 130\u2013144 (2010)","journal-title":"Production Planning & Control"},{"key":"7_CR33","doi-asserted-by":"crossref","unstructured":"Mao, C.: Towards a hierarchical testing and evaluation strategy for web services system. In: Proc. of the 7th ACIS International Conference on Software Engineering Research, Management and Applications (SERA 2009). Haikou, China (2009)","DOI":"10.1109\/SERA.2009.27"},{"key":"7_CR34","unstructured":"Myers, G.: The Art of Software Testing, Second Edition. John Wiley & Sons, Inc., Hoboken, NJ, USA (2004)"},{"issue":"2","key":"7_CR35","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1109\/TSC.2011.19","volume":"5","author":"A. Paliwal","year":"2012","unstructured":"Paliwal, A., Shafiq, B., Vaidya, J., Xiong, H., Adam, N.: Semantics-based automated service discovery. IEEE Transactions on Services Computing 5(2), 260\u2013275 (2012)","journal-title":"IEEE Transactions on Services Computing"},{"key":"7_CR36","unstructured":"Pezz\u00e8, M., Young, M.: Software Testing and Analysis: Process, Principles, and Techniques. John Wiley & Sons, New York, NY, USA (2008)"},{"issue":"1","key":"7_CR37","first-page":"32","volume":"5","author":"T. Rajendran","year":"2010","unstructured":"Rajendran, T., Balasubramanie, P.: An optimal broker-based architecture for web service discovery with QoS characteristics. International Journal of Web Services Practices 5(1), 32\u201340 (2010)","journal-title":"International Journal of Web Services Practices"},{"issue":"2","key":"7_CR38","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1346337.1346241","volume":"2","author":"S. Ryu","year":"2008","unstructured":"Ryu, S., Casati, F., Skogsrud, H., Betanallah, B., Saint-Paul, R.: Supporting the dynamic evolution of web service protocols in service-oriented architectures. ACM Transactions on the Web 2(2), 13:1\u201313:46 (2008)","journal-title":"ACM Transactions on the Web"},{"key":"7_CR39","unstructured":"Salva, S., Rabhi, I.: Automatic web service robustness testing from WSDL descriptions. In: Proc. of the 12th European Workshop on Dependable Computing (EWDC 2009). Toulouse, France (2009)"},{"key":"7_CR40","doi-asserted-by":"crossref","unstructured":"Schroth, C., Janner, T.: Web 2.0 and SOA: Converging concepts enabling the internet of services. IT Professional 9(3), 36\u201341 (2007)","DOI":"10.1109\/MITP.2007.60"},{"key":"7_CR41","unstructured":"seekda! http:\/\/webservices.seekda.com\/browse, Accessed in date September 2012"},{"key":"7_CR42","unstructured":"Securing Web services for army SOA. http:\/\/www.sei.cmu.edu\/solutions\/softwaredev\/securing-web-services.cfm, Accessed in date September 2012"},{"key":"7_CR43","doi-asserted-by":"crossref","unstructured":"Serhani, M., Dssouli, R., Hafid, A., Sahraoui, H.: A QoS broker based architecture for efficient web services selection. In: Proc. of the IEEE International Conference on Web Services (ICWS 2005). Orlando, FL, USA (2005)","DOI":"10.1109\/ICWS.2005.13"},{"issue":"10","key":"7_CR44","first-page":"30","volume":"46","author":"U. Thakar","year":"2012","unstructured":"Thakar, U., Dagdee, N., Agrawal, A.: A methodology to compose web services using compatible components based on QoS and security requirements of the users. International Journal of Computer Applications 46(10), 30\u201337 (2012)","journal-title":"International Journal of Computer Applications"},{"key":"7_CR45","unstructured":"Tsai, W., Paul, R., Yamin, W., Chun, F., Dong, W.: Extending WSDL to facilitate web services testing. In: Proc. of the 7th IEEE International Symposium on High Assurance Systems Engineering (HASE 2002). Tokyo, Japan (2002)"},{"key":"7_CR46","unstructured":"USA Department of Defence: Department Of Defense Trusted Computer System Evaluation Criteria (1985)"},{"key":"7_CR47","unstructured":"van Veenendaal, E.: Standard glossary of terms used in Software Testing. International Software Testing Qualifications Board (ISTQB) (2010). http:\/\/www.astqb.org\/documents\/ISTQB_Glossary_of_Testing_Terms_2.1.pdf, Accessed in date September 2012"},{"key":"7_CR48","unstructured":"Yu, H., Reiff-Marganiec, S.: Non-functional property based service selection: A survey and classification of approaches. In: Proc. of Non Functional Properties and Service Level Agreements in Service Oriented Computing Workshop (NFPSLAM-SOC) 2008. Dublin, Ireland (2008)"},{"key":"7_CR49","doi-asserted-by":"crossref","unstructured":"Zulkernine, M., Raihan, M.F., Uddin, M.G.: Towards model-based automatic testing of attack scenarios. In: Proc. of the 28th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2009). Hamburg, Germany (2009)","DOI":"10.1007\/978-3-642-04468-7_19"}],"container-title":["Advanced Web Services"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-7535-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,24]],"date-time":"2023-01-24T02:01:53Z","timestamp":1674525713000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4614-7535-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,6]]},"ISBN":["9781461475347","9781461475354"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-7535-4_7","relation":{},"subject":[],"published":{"date-parts":[[2013,8,6]]},"assertion":[{"value":"6 August 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}