WSSecSpaces: A secure data-driven coordination service for web services applications

Proceedings of the ACM Symposium on Applied Computing

Volumn 1, Issue , 2004, Pages 487-491

  Lucchi, Roberto ^a   Zavattaro, Gianluigi ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Coordination Languages; Linda; Security; Web Services

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; CRYPTOGRAPHY; DATA STORAGE EQUIPMENT; INFORMATION RETRIEVAL; MATHEMATICAL MODELS; PATTERN MATCHING; QUERY LANGUAGES; SECURITY OF DATA; XML;

COORDINATION LANGUAGES; LINDA; SECURITY; WEB SERVICES;

WORLD WIDE WEB;

EID: 2442505786     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. Business Process Modeling Language (BPML), [www.bpmi.org].
2. P. Álvarez, J.A. Bañares, P.R. Muro-Medrano, F.J. Nogueras, and F.J.Zarazaga. A Java Coordination Tool for Web-service Architectures: The Location-Based Service Context. In Scientific Engineering for Distributed Java Applications, volume 2604 of LNCS, pages 1-14. Springer-Verlag, 2003.
3. L. Bettini and R. De Nicola. A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces. In Proc. of FIDJI'02, Int. Workshop on scientific engineering of distributed Java applications, 2002. To appear in LNCS.
4. Jon Bosak. XML, Java and the future of the Web. World Wide Web Journal, 2(4):219-221, 1997.
5. Mario Bravetti, Roberto Gorrieri, and Roberto Lucchi. A formal approach for checking security properties in SecSpaces. In 1st International Workshop on on Security Issues in Coordination Models, Languages and Systems, volume 85.3 of ENTCS, 2003.
6. Nadia Busi, Roberto Gorrieri, Roberto Lucchi, and Gianluigi Zavattaro. Secspaces: a data-driven coordination model for environments open to untrusted agents. In 1st International Workshop on Foundations of Coordination Languages and Software Architectures, volume 68.3 of ENTCS, 2002.
7. P. Ciancarini, R. Tolksdorf, and F. Zambonelli. Coordination Middleware for XML-centric Applications. In Proc. ACM/SIGAPP Symp. on Applied Computing (SAC). ACM Press, 2002.
8. World Wide Web Consortium. XML Encryption Syntax and Processing. W3C Recommendation 10 December 2002. http://www.w3.org/TR/xmlenc-core/.
9. Microsoft Corporation. Microsoft BizTalk Server. [http://www.microsoft. com/biztalk/default.asp].
10. F. Curbera, Y. Goland, J. Klein, F. Leymann, D. Roller, S. Thatte, and S. Weerawarana. Business Process Execution Language for Web Services (BPEL4WS 1.0). [http://www-106.ibm.com/developerworks/webservices/library/ws-bpel/],2002.
11. D. Dolev and A. Yao. On the security of public key protocols. IEEE Trans. on Information Theory, 29(2):198-208, 1983.
12. Freeman, Hupfer, and Arnold. JavaSpaces Principles, Pattern, and Practice. Addison-Wesley, 1999. first edition.
13. D. Gelernter. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80-112, 1985.
14. Daniele Gorla and Rosario Pugliese. Resource Access and Mobility Control with Dynamic Privileges Acquisition. In Proc. of the Int. Colloquium on Automata, Languages and Programming (ICALP'03), LNCS, 2003. To appear.
15. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison-Wesley, 1996.
16. Radu Handorean and Gruia-Catalin Roman. Secure Sharing of Tuple Spaces in Ad Hoc Settings. In 1st International Workshop on on Security Issues in Coordination Models, Languages and Systems, volume 85.3 of ENTCS, 2003.
17. F. Leymann. Web Services Flow Language (WSFL 1.0). [http://www-4.ibm.com/ software/solutions/webservices/pdf/WSFL.pdf], Member IBM Academy of Technology, IBM Software Group, 2001.
18. R. Lucchi and G. Zavattaro. WSSecSpaces: a Secure Data-Driven Coordination Service for Web Services Applications, Technical Report UBLCS-2003-11, University of Bologna (Italy), 2003. [http://www.cs.unibo.it/ techreports/].
19. A. Murphy, G. Picco, and G.-C. Roman. A middleware for physical and logical mobility. In 21st International Conference on Distributed Computing Systems, pages 524-533, 2001.
20. R. De Nicola, G. Ferrari, and R. Pugliese. KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24(5):315-330, May 1998. Special Issue: Mobility and Network Aware Computing.
21. Andrea Omicini, Alessandro Ricci, and Mirko Viroli. Formal Specification and Enactment of Security Policies through Agent Coorination Contexts. In 1st International Workshop on on Security Issues in Coordination Models, Languages and Systems, volume 85.3 of ENTCS, 2003.
22. B. Schneier. Applied Cryptography. Wiley, 1996.
23. Rogue Wave Software. Ruple. http://www.roguewave.com/developer/tac/ruple/ .
24. Sun Microsystems, Inc. Java API for XML Processing. http://java.sun.com/ xml/jaxp/index.html.
25. S. Thatte. XLANG: Web Services for Business Process Design. [http://www.gotdotnet.com/team/xml_wsspecs/xlang-c/default.htm], Microsoft Corporation, 2001.
26. Robert Tolksdorf and Dirk Glaubitz. XMLSpaces for Coordination in Web-based Systems. In Proc. of the Tenth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises WET ICE. IEEE Computer Society, Press, 2001.
27. Jan Vitek, Ciarán Bryce, and Manuel Oriol. Coordinating Processes with Secure Spaces. Science of Computer Programming, 46:163-193, 2003.
28. P. Wyckoff, S.W. McLaughry, and D.A. Ford. TSpaces. IBM System Journal, August 1998.