Security issues in service composition

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4037 LNCS, Issue , 2006, Pages 1-16

  Bartoletti, Massimo ^a   Degano, Pierpaolo ^a   Ferrari, Gian Luigi ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; CONSTRAINT THEORY; INFORMATION TECHNOLOGY; QUALITY OF SERVICE; SECURITY OF DATA; TELECOMMUNICATION NETWORKS;

CALL-BY-PROPERTY MECHANISM; DYNAMIC CHECK; SECURITY CONSTRAINTS; SERVICE INTERACTION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 33746256403     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11768869_1     Document Type: Conference Paper

References (40)

1. M. Abadi and C. Fournet. Access control based on execution history. In Proc. 10th Annual Network and Distributed System Security Symposium, 2003.
2. R. Akkiraju et al. Web Service Semantics. WSDL-S technical note (version 1.0), 2006.
3. O. Alonso, F. Casati, H. Kuno, and V. Machiraju. Web Services: Concepts, Architectures and Applications. Springer-Verlag, 2004.
4. S. Anderson et al. Web Services Trust Language (WS-Trust), 2005.
5. T. Andrews et al. Business Process Execution Language for Web Services (BPEL4WS), Version 1.1, 2003.
6. B. Atkinson et al. Web Services Security (WS-Security), 2002.
7. M. Bartoletti, P. Degano, and G. L. Ferrari. Enforcing secure service composition. In Proc. 18th Computer Security Foundations Workshop (CSFW), 2005.
8. M. Bartoletti, P. Degano, and G. L. Ferrari. History based access control with local policies. In Proc. Fossacs, 2005.
9. M. Bartoletti, P. Degano, and G. L. Ferrari. Plans for service composition. In Workshop on Issues in the Theory of Security (WITS), 2006.
10. M. Bartoletti, P. Degano, and G. L. Ferrari. Types and effects for secure service orchestration. In To appear in Proc. 19th Computer Security Foundations Workshop (CSFW), 2006.
11. K. Bhargavan, R. Corin, C. Fournet, and A. D. Gordon. Secure sessions for web services. In Proc. ACM Workshop on Secure Web Services, 2004.
12. K. Bhargavan, C. Fournet, and A. D. Gordon. A semantics for web services authentication. In Proc. A CM Symposium on Principles of Programming Languages, 2004.
13. E. Bonelli, A. Compagnoni, and E. Gunter. Typechecking safe process synchronization. In Proc. Foundations of Global Ubiquitous Computing, 2004.
14. D. Box et al. Simple Object Access Protocol (SOAP) 1.1. WRC Note, 2000.
15. D. Box et al. Web Services Policy Framework (WS-Policy), 2002.
16. A. Brogi, C. Canal, and E. Pimentel. Behavioural types and component adaptation. In Proc. AMAST, 2004.
17. A. Brogi and R. Popescu. Towards semi-automated workflow-based aggregation of web services. In Proc. ICSOC, 2005.
18. R. Chinnici, M. Gudgina, J. Moreau, and S. Weerawarana. Web Service Description Language (WSDL), Version 1.2, 2002.
19. F. Curbera, R. Khalaf, N. Mukhi, S. Tai, and S. Weerawarane. The next step in web services. Communications of the ACM, 46(10), 2003.
20. J. Esparza. On the decidability of model checking for several μ-calculi and Petri nets. In Proc. 19th Int. Colloquium on Trees in Algebra and Programming, 1994.
21. D. K. Gifford and J. M. Lucassen. Integrating functional and imperative programming. In ACM Conference on LISP and functional Programming, 1986.
22. A. Gordon and A. Jeffrey. Types and effects for asymmetric cryptographic protocols. In Proc. IEEE Computer Security Foundations Workshop, 2002.
23. D. Gorla, M. Hennessy, and V. Sassone. Security policies as membranes in systems for global computing. In Proc. FGUC, 2004.
24. K. Honda, V. Vansconcelos, and M. Kubo. Language primitives and type discipline for structures communication-based programming. In Proc. ESOP, 1998.
25. R. Khalaf, N. Mukhi, and S. Weerawarana. Service oriented composition in BPEL4WS. In Proc. WWW, 2003.
26. A. Lazovik, M. Aiello, and R. Gennari. Encoding requests to web service compositions as constraints. In Constraint Programming CP, 2005.
27. S. B. Mokhtar, N. Georgantas, and V. Issarny. Ad hoc composition of uaer tasks in pervasive computing environment. In Software Composition, 2005.
28. F. Nielson and H. R. Nielson. Type and effect systems. In Correct System Design, 1999.
29. M. Paolucci, T. Kawamura, T. Payne, and K. Sycara. Semantic matchmaking of web services capabilities. In First International Semantic Web Conference on The Semantic Web, 2002.
30. M. P. Papazoglou. Service-oriented computing: Concepts, characteristics and directions. In WISE, 2003.
31. M. Papazouglou and D. Georgakopoulos. Special issue on service oriented computing. Communications of the ACM, 46(10), 2003.
32. P. Rajasekaran, J. A. Miller, K. Verma, and A. P. Sheth. Enhancing web services description and discovery to facilitate composition. In Semantic Web Services and Web Process Composition, 2005.
33. P. Sewell and J. Vitek. Secure composition of untrusted code: box-π, wrappers and causality types. Journal of Computer Security, 11(2), 2003.
34. M. Stal. Web services: Beyond component-based computing. Communications of the ACM, 55(10), 2002.
35. J.-P. Talpin and P. Jouvelot. The type and effect discipline. Information and Computation, 2(111), 1994.
36. P. Traverso and M. Pistore. Automated composition of semantic web services into executable processes. In Proc. ISWC, 2004.
37. A. Vallecillo, V. Vansconcelos, and A. Ravara. Typing the behaviours of objects and components using session types. In Proc. of FOCLASA, 2002.
38. W. Vogele. Web services are not distributed objects. IEEE Internet Computing, 7(6), 2003.
39. W3C. UDDI Technical White Paper, 2000.
40. T. Woo and S. Lam. A semantic model for authentication protocols. In IEEE Symposium on Security and Privacy, 1993.