Finding secure compositions of software services: Towards a pattern based approach

2012 5th International Conference on New Technologies, Mobility and Security - Proceedings of NTMS 2012 Conference and Workshops

Volumn , Issue , 2012, Pages

  Pino, Luca ^a   Spanoudakis, George ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

secure service composition; software service security

Indexed keywords

RUNTIMES; SECURE COMPOSITION; SECURE SERVICES; SECURITY PROPERTIES; SERVICE-BASED SYSTEMS; SOFTWARE SERVICES;

HISTORIC PRESERVATION;

EID: 84863892596     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/NTMS.2012.6208741     Document Type: Conference Paper

References (17)

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. F. Lécué, E. Silva and L. F. Pires, "A framework for dynamic web services composition," in Proc. 2nd ECOWS 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," 2011.
5. J. McCarthy and P. Hayes, "Some philosophical problems from the standpoint of artificial intelligence," in B. Meltzer and D. Michie, editors, 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 Journal on Selected Areas in Communications, 2302): 2361-2372, Dec. 2005.
13. B. Medjahed, A. Bouguettaya and A. K. Elmagarmid, "Composing web services on the semantic web," The VLDB Joumal,12(4):333-351, 2003.
14. th Int. Conf. on Enterprise Distributed Object Computing, 2004.
15. Aniketos Consortium, "D3.1 - Design-time support techniques for secure composition and adaptation," [Online]. Available: http://www.aniketos.eu/, 2011.
16. st Int. Work. on Securing Services on the Cloud, 2011
17. rd Int. ACM/IEEE Conf. on Automated Software Engineering 2008