Constructing secure service compositions with patterns

Proceedings - 2012 IEEE 8th World Congress on Services, SERVICES 2012

Volumn , Issue , 2012, Pages 184-191

  Pino, Luca ^a   Spanoudakis, George ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

secure service composition; Software service security

Indexed keywords

COMPOSITION PATTERNS; INDIVIDUAL SERVICE; REQUIRED FUNCTIONALITIES; RUN-TIME SERVICES; SECURE SERVICES; SECURITY PROPERTIES; SERVICE COMPOSITIONS; SERVICE-BASED; SOFTWARE SERVICES;

EID: 84867241595     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SERVICES.2012.61     Document Type: Conference Paper

References (27)

1. A. Zisman, K. Mahbub and G. Spanoudakis, "A service discovery framework based on linear composition," in Proc. IEEE Int. Service Computing Conference (SCC 2007), pp.536-543, 2007
2. nd Work. on Emerging Web Services Technology (WEWST07), 2007.
3. W. M. P. Van Der Aalst et al., "Workflow patterns," Distrib. Parallel Databases 12(1): 5-51, 2003.
4. ASSERT4SOA Project, "D5.1- Formal models and model composition". Available: http://www.assert4soa.eu/deliverable/D5.1.pdf, 2011.
5. J. McCarthy and P. Hayes, "Some philosophical problems from the standpoint of artificial intelligence," Machine Intelligence, 4:463-502, 1969.
6. nd Int. Conf. on Service oriented computing (ICSOC '04), pp. 115-124, 2004.
7. Jing Dong, Tu Peng and Yajing Zhao, "Automated verification of security pattern compositions," Inf. Softw. Techn. 52(3):274-295, 2010.
8. th Work. on Computer Security Foundations, 2005.
9. M. Lelarge, Z. Liu and A. Riabov, "Automatic composition of secure workflows," in Proc. of ATC'2006, 2006.
10. B. Carminati, et al., "Security conscious web service composition," in Proc. of the Int. Conf. on Web Services (ICWS), 2006.
11. OASIS. SAML 1.0 Specification Set [Online]. Available: http://saml.xml.org/saml-specifications, 2002.
12. Keita Fujii and Tatsuya Suda, "Semantics-based dynamic web service composition," IEEE J. Sel. Areas Commun, 23: 2361-2372, Dec. 2005.
13. B. Medjahed, A. Bouguettaya and A. K. Elmagarmid, "Composing web services on the semantic web," The VLDB Journal, 12(4):333-351, 2003.
14. th Int. Conf. on Enterprise Distributed Object Computing, 2004.
15. Aniketos, "D3.1 - Design-time support techniques for secure composition and adaptation". Available: http://www.aniketos.eu/, 2011.
16. rd Int. ACM/IEEE Conf. on Automated Software Engineering, 2008
17. J. W. Yoder and J. Barcalow, "Architectural patterns for enabling application security," in Proc. of Pattern Languages of Programs, 1997.
18. E. B. Fernandez and R. Y. Pan, "A pattern language for security models," in Proc. of Pattern Language of Programs (PLoP'01), 2001.
19. N. Yoshioka, H. Washizaki, K. Maruyama, "A survey on security patterns," Progress in Informatics, No. 5 pp. 35-47, 2008.
20. OWL-S Coalition. OWL-S 1.2 Technical Overview [Online]. Available: http://www.ai.sri.com/daml/services/owl-s/1.2/overview/, 2008.
21. W3C Web Ontology Working Group. OWL Web Ontology Language Reference [Online]. Available: http://www.w3.org/TR/owl-ref/, 2004.
22. W3C XSL Working Group. XSL Transformations (XSLT) Version 2.0 [Online]. Available: http://www.w3.org/TR/xslt20/, 2007.
23. B. Motik, U. Sattler, and R. Studer. "Query Answering for OWL-DL with rules," J. Web Semant. 3, 1 41-60. 2005.
24. G. Spanoudakis, and A. Zisman, "Designing and Adapting Service-based Systems: A Service Discovery Framework," In Service Engineering: European Research Results, S. Dustdar, F. Li (eds), Springer, 2010
25. B. Raman, et al. "The SAHARA model for service composition across multiple providers." In Proc. of the 1st Int. Conf. on Pervasive Computing, LNCS 2414, 2002.
26. Shankar R. et al. "SWORD: A developer toolkit for web service composition." In Proc. of the 11th Int. WWW Conference, 2002.
27. st European Semantic Web Symposium, LNCS 3053, pp. 269-283, 2004.