Fine-grained modeling of web services for test-based security certification

Proceedings - 2011 IEEE International Conference on Services Computing, SCC 2011

Volumn , Issue , 2011, Pages 456-463

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

^a UNIVERSITY OF MILAN   (Italy)

Author keywords

SOA; Testing; Web service; WSCL; WSDL

Indexed keywords

DIFFERENT SERVICES; MODELING OF WEB SERVICES; SECURITY CERTIFICATION; SOA; SYMBOLIC TRANSITION SYSTEMS; WEB SERVICE DESCRIPTION LANGUAGE; WSCL; WSDL;

TESTING;

WEB SERVICES;

EID: 80053168801     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCC.2011.27     Document Type: Conference Paper

References (19)

1. M. Anisetti, C.A. Ardagna, and E. Damiani. Defining and matching test-based certificates in open SOA. In Proc. of SECTEST 2011, Berlin, Germany, March 2011.
2. G. Canfora and M. di Penta. Service-oriented architectures testing: A survey. ISSSE 2006-2008, 1:78-105, 2009.
3. E. Damiani, C.A. Ardagna, and N. El Ioini. Open source systems security certification. Springer, New York, NY, USA, 2009.
4. E. Damiani, N. El Ioini, A. Sillitti, and G. Succi. Wscertificate. In Proc. of IEEE SERVICES I 2009, Los Angeles, CA, USA, July 2009.
5. T. Erl. Service-Oriented Architecture: Concepts, Technology, and Design. Prentice Hall PTR, NJ, USA, 2005.
6. L. Frantzen, J. Tretmans, and R. d. Vries. Towards modelbased testing of web services. In Proc. of WS-MaTe 2006, Palermo, Italy, June 2006.
7. L. Frantzen, J. Tretmans, and T.A.C. Willemse. Test generation based on symbolic specifications. In Proc. of FATES 2004, Linz, Austria, September 2004.
8. J. Han, R. Kowalczyk, and K.M. Khan. Security-oriented service composition and evolution. In Proc. of APSEC 2006, Bangalore, India, December 2006.
9. S. Hanna and M. Munro. An approach for specification-based test case generation for web services. In Proc. of IEEE/ACS AICCSA 2007, Amman, Jordan, May 2007.
10. R. Heckel and M. Lohmann. Towards contract-based testing of web services. In Proc. of TACoS 2004, Barcelona, Spain, March 2004.
11. D.S. Herrmann. Using the Common Criteria for IT security evaluation. Auerbach Publications, 2002.
12. M.S. Jokhio, G. Dobbie, and J. Sun. Towards specification based testing for semantic web services. In Proc. of ASWEC 2009, Gold Coast, Australia, April 2009.
13. C.S. Keum, S. Kang, I.-Y. Ko, J. Baik, and Y.-I. Choi. Generating test cases for web services using extended finite state machine. In Proc. of IFIP TestCom 2006, New York, NY, USA, May 2006.
14. A. Kim, J. Luo, and M. Kang. Security ontology for annotating resources. In Proc. of ODBASE 2005, Agia Napa, Cyprus, November 2005.
15. C. Mao. A specification-based testing framework for web service-based software. In Proc. of IEEE GRC 2009, Nanchang, China, August 2009.
16. M.P. Papazoglou. Web services and business transactions. World Wide Web, 6(1):49-91, 2003. (Pubitemid 39020671)
17. A. Tarhini, H. Fouchal, and N. Mansour. A simple approach for testing web service based applications. In Proc. of IICS 2005, Paris, France, June 2005.
18. W.T. Tsai, R. Paul, Z. Cao, L. Yu, A. Saimi, and B. Xiao. Verification of Web services using an enhanced UDDI server. In Proc. of IEEE WORDS 2003, Guadalajara, Mexico, January 2003.
19. W.T. Tsai, R. Paul, W. Yamin, F. Chun, and W. Dong. Extending WSDL to facilitate web services testing. In Proc. of HASE 2002, Tokyo, Japan, October 2002.