Towards a Secure Service Coordination

  • Thi-Huong-Giang Vu
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4254)


This paper presents an approach for building secure service-based coordinated systems. Secure coordination is considered at two levels: abstraction (i.e., specification) and execution (i.e., run level). At the abstraction level, we define a general model enabling to specify coordination and its related non functional properties (such as security). The idea is to use constraints for expressing the application logic of a coordinated system and its required security strategies. Coordination activities are the key concepts used for controlling the execution of participating services. Constraints are specified as pre and post conditions of these coordination activities. At the execution level, we propose an architecture which implements strategies to verify constraints and manage the secure execution of coordination. We propose also an instantiating vade-mecum to configure execution level components according to a specific set of constraints.


Security Property Application Logic Security Strategy Coordination Activity Exception Handler 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alvarez, P., Banares, J.A., Muro-Medrano, P.R., Nogueras, J., Zarazaga, F.J.: A java coordination tool for web-service architectures: The location-based service context. In: Guelfi, N., Astesiano, E., Reggio, G. (eds.) FIDJI 2002. LNCS, vol. 2604, pp. 1–14. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  2. 2.
    BEA Systems, IBM Corporation, Microsoft Corporation: Web Services Coordination (2003)Google Scholar
  3. 3.
    Belhajjame, K., Vargas-Solar, G., Collet, C.: Defining and coordinating open-services using Workflow. In: Proceedings of the Eleventh International Conference on Cooperative Information Systems. LNCS. Springer, Heidelberg (2003)Google Scholar
  4. 4.
  5. 5.
    Object Management Group (2002),
  6. 6.
    Cremonini, M., Omicini, A., Zambonelli, F.: Coordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications. In: Ciancarini, P., Wolf, A.L. (eds.) COORDINATION 1999. LNCS, vol. 1594, pp. 416–416. Springer, Heidelberg (1999)Google Scholar
  7. 7.
    Georgakopoulos, D., Hornick, M.F., Sheth, A.P.: An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure. Distributed and Parallel Databases, 119–153 (1995)Google Scholar
  8. 8.
    Issarny, V., Bidan, C., Saridakis, T.: Characterizing Coordination Architectures According to Their Non-Functional Execution Properties. In: 31st IEEE International Conference on System Science (1998)Google Scholar
  9. 9.
    Khan, K.M., Han, J.: A Security Characterisation Framework for Trustworthy Component Based Software Systems. In: IEEE International Computer Software and Applications Conference (2003)Google Scholar
  10. 10.
    Klint, P., Olivier, P.: The TOOLBUS Coordination Architecture: A Demonstration. In: 5th International Conference on Algebraic Methodology and Software Technology, pp. 575–578. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  11. 11.
    Malone, T.W.: What is Coordination Theory and How Can it Help Design Cooperative Work Systems? In: CSCW 1990: Proceedings of the 1990 ACM conference on Computer-supported cooperative work, pp. 357–370 (1990)Google Scholar
  12. 12.
    Papadopoulos, G.A., Arbab, F.: Coordination models and languages. Advances in Computers (1998)Google Scholar
  13. 13.
    Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Englewood Cliffs (1981)Google Scholar
  14. 14.
    Tolksdorf, R.: Coordination Technology for Workflows on the Web: Workspaces. In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol. 1906, pp. 36–50. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  15. 15.
  16. 16.
    Workflow Management Coalition: Terminology and Glossary (1996)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Thi-Huong-Giang Vu
    • 1
  1. 1.LSR-IMAG LaboratorySaint Martin d’HèresFrance

Personalised recommendations