A low-cost security certification scheme for evolving services

Proceedings - 2012 IEEE 19th International Conference on Web Services, ICWS 2012

Volumn , Issue , 2012, Pages 122-129

  Anisetti, Marco ^a   Ardagna, Claudio A ^a   Damiani, Ernesto ^a  

^a UNIVERSITY OF MILAN   (Italy)

Author keywords

Evolving services; Model based testing; Security certification; SOA

Indexed keywords

EVOLVING SERVICES; HIGH COSTS; MODEL BASED TESTING; SECURITY CERTIFICATION; SECURITY PROPERTIES; SERVICE PROVIDER; SERVICE SPECIFICATIONS; SERVICE SUPPORT; SOA;

INFORMATION SERVICES; SERVICE ORIENTED ARCHITECTURE (SOA); WEBSITES;

WEB SERVICES;

EID: 84866356137     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2012.53     Document Type: Conference Paper

References (19)

1. R. Chinnici, J. Moreau, A. Ryman, and S. Weerawarana, Web Services Description Language (WSDL) version 2.0, World Wide Web Consortium (W3C), June 2007, http://www.w3.org/TR/wsdl20/.
2. A. Banerji et al., Web Services Conversation Language (WSCL) version 1.0, World Wide Web Consortium (W3C), March 2002, http://www.w3.org/TR/wscl10/.
3. E. Damiani, C. Ardagna, and N. E. Ioini, Open source systems security certification. New York, NY, USA: Springer, 2009.
4. D. Herrmann, Using the Common Criteria for IT security evaluation. Auerbach Publications, 2002.
5. M. Anisetti, C. Ardagna, and E. Damiani, "Fine-grained modeling of web services for test-based security certification," in Proc. of SCC 2011, Washington, DC, USA, July 2011.
6. -, "A security certification scheme for soa and web services," Note del Polo - Ricerca 135, Università degli Studi di Milano, Polo didattico e di ricerca di Crema, Tech. Rep., January 2012, http://www.crema. unimi.it/Biblioteca/Note pdf/163.pdf.
7. "Securing Web services for army SOA," http://www.sei.cmu.edu/ solutions/softwaredev/securingweb-services.cfm.
8. M. Serhani, R. Dssouli, A. Hafid, and H. Sahraoui, "A QoS broker based architecture for efficient web services selection," in Proc. of ICWS 2005, Orlando, FL, USA, July 2005.
9. S. Ryu, F. Casati, H. Skogsrud, B. Betanallah, and R. Saint-Paul, "Supporting the dynamic evolution of Web service protocols in service-oriented architectures," ACM Transactions on the Web, vol. 2, no. 2, April 2008.
10. M. Papazoglou, V. Andrikopoulos, and S. Benbernou, "Managing evolving services," IEEE Software, vol. 28, no. 3, pp. 49-55, May-June 2011.
11. V. Andrikopoulos, S. Benbernou, and M. Papazoglou, "On the evolution of services," IEEE Transactions on Software Engineering, vol. PP, no. 99, 2011.
12. M. Fokaefs, R. Mikhaiel, N. Tsantalis, E. Stroulia, and A. Lau, "An empirical study on web service evolution," in Proc. of ICWS 2011, Washington, DC, USA, July 2011.
13. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin, "Aspect-oriented programming," in Proc. of ECOOP 1997, Jyväskylä, Finnland, June 1997.
14. L. Frantzen, J. Tretmans, and T. Willemse, "A symbolic framework for model-based testing," in Proc. of FATES/RV 2006, Seattle, WA, USA, August 2006.
15. M. Anisetti, C. Ardagna, and E. Damiani, "Performance evaluation," April 2012, http://sesar.dti.unimi.it/ICWS2012/Appendix.pdf.
16. S. Yoo and M. Harman, "Regression testing minimization, selection and prioritization: a survey," Software Testing, Verification and Reliability, 2010.
17. C. Nguyen, A. Marchetto, and P. Tonella, "Test case prioritization for audit testing of evolving web services using information retrieval techniques," in Proc. of ICWS 2011, Washington, DC, USA, July 2011.
18. M. D. Penta, M. Bruno, G. Esposito, V. Mazza, and G. Canfora, "Web services regression testing," in Test and Analysis of Web Services, L. Baresi and E. D. Nitto, Eds., 2007, pp. 205-234.
19. C. Criteria, CCRA Supporting Document 2004-02-009 Assurance Continuity, February 2004, http://www.commoncriteriaportal.org/files/supplements/2004-02- 009.pdf.