Secure Web Service Workflow Execution

Electronic Notes in Theoretical Computer Science

Volumn 236, Issue C, 2009, Pages 33-46

  Rudolph, Carsten ^a   Kuntze, Nicolai ^a   Velikova, Zaharina ^a  

^a FRAUNHOFER INSTITUTE FOR SECURE INFORMATION TECHNOLOGY SIT   (Germany)

Author keywords

decentralized workflow execution; electronic process slip; security requirement

Indexed keywords

DATA STRUCTURES; WEB SERVICES;

DECENTRALIZED WORKFLOW EXECUTION; ELECTRONIC PROCESS SLIP; SECURE WEB-SERVICES; SECURITY REQUIREMENT; WORK-FLOWS;

MANAGEMENT;

EID: 62949132312     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.03.013     Document Type: Article

References (26)

1. Alonso G., Casati F., Kuno H., and Machiraju V. Web Services: Concepts, Architecture and Applications (2004), Springer Verlag
2. Alves A., Arkin A., Askary S., Barreto C., Bloch B., Curbera F., Ford M., Goland Y., Kartha N., Liu C.K., Thatte S., Yendluri P., Yiu A., Guízar A., Khalaf R., König D., Mehta M.M.V., and van der Rijn D. Web services business process execution language version 2.0. URL (2007). http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf
3. Biskup, J., B. Carminati, E. Ferrari, F. Muller and S. Wortmann, Towards secure execution orders for compositeweb services, in: ICWS'07: Proceedings of the IEEE International Conference on Web Services, pp. 489-496
4. Chappell D.A. Enterprise service bus (2004), O'Reilly Media, Inc.
5. Charfi, A. and M. Mezini, An aspect-based process container for BPEL, in: AOMD'05: Proceedings of the 1st ACM workshop on Aspect Oriented Middleware Development (2005)
6. Gürgens, S., P. Ochsenschläger and C. Rudolph, Abstractions preserving parameter confidentiality, in: ESORICS'05: Proceedings of the European Symposium On Research in Computer Security, 2005, pp. 418-437
7. Gürgens S., Ochsenschläger P., and Rudolph C. On a formal framework for security properties. International Computer Standards & Interface Journal (CSI), Special issue on formal methods, techniques and tools for secure and reliable applications (2005)
8. Hofreiter B., and Huemer C. Transforming UMM Business Collaboration Models to BPEL. In: Meersman R., Tari Z., and Corsaro A. (Eds). OTM Workshops. Lecture Notes in Computer Science 3292 (2004) 507-519
9. Laddad R. AspectJ in Action: Practical Aspect-Oriented Programming (2003), Manning Publications Co., Greenwich, CT, USA
10. In: Langworthy D. (Ed). WS-BusinessActivity (2004)
11. In: Langworthy D. (Ed). WS-Transaction (2004)
12. M Bilal, J.P.T., M. Thomas and S. Abraham, Fair BPEL Processes Transaction using Non-Repudiation Protocols, in: SCC'05: Proceedings of the 2nd IEEE International Conference on Services Computing (2005), pp. 337-342
13. Mendling J., and Hafner M. From Inter-organizational Workflows to Process Execution: Generating BPEL from WS-CDL. In: Meersman R., Tari Z., Herrero P., Méndez G., Cavedon L., Martin D., Hinze A., Buchanan G., Pérez M.S., Robles V., Humble J., Albani A., Dietz J.L.G., Panetto H., Scannapieco M., Halpin T.A., Spyns P., Zaha J.M., Zimányi E., Stefanakis E., Dillon T.S., Feng L., Jarrar M., Lehmann J., de Moor A., Duval E., and Aroyo L. (Eds). OTM Workshops. Lecture Notes in Computer Science 3762 (2005) 506-515
14. Montagut, F. and R. Molva, Enforcing integrity of execution in distributed workflow management systems, in: SCC'07: Proceedings of the 4th IEEE International Conference on Services Computing, 2007
15. Myers M., Ankney R., Malpani A., Galperin S., and Adams C. X. 509 Internet Public Key Infrastructure Online Certificate Status Protocol - OCSP. RFC 2560 (Proposed Standard). URL (1999). http://www.ietf.org/rfc/rfc2560.txt
16. OASIS, WS-Reliability (2004)
17. OASIS, WS-Security version 1.0 (2004)
18. Object Management Group, Inc. Workflow management facility specification, v1.2. URL (2000). http://www.omg.org/docs/formal/00-05-02.pdf
19. Ochsenschläger P., Repp J., and Rieke R. Abstraction and composition: a verification method for co-operating systems. J. of Experimental and Theoretical Artificial Intelligence 12 (2000) 447-459. http://www.sit.fhg.de/english/META/meta_publications/doc/flairs-2000c.pdf URL
20. Ochsenschläger, P., J. Repp and R. Rieke, The SH-Verification Tool, in: J. Etheredge and B. Manaris, editors, FLAIRS'00: Proceedings of the 13th International FLorida Artificial Intelligence Research Society Conference (2000), pp. 18-22
21. Ochsenschläger, P. and R. Rieke, Abstraction Based Verification of a Parameterised Policy Controlled System, in: MMM-ACNS'07: Proceedings of the 4th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, CCIS 1 (2007)
22. Piechalski, J. and A.U. Schmidt, Authorised Translations of Electronic Documents, in: H.S. Venter, J.H.P. Eloff, L. Labuschagne and M.M. Eloff, editors, ISSA'06: Peer-reviewed Proceedings of the From Insight to Foresight Conference (2006). URL http://www.math.uni-frankfurt.de/~aschmidt/docs/Authorised_Translations_ISSA06_final.pdf
23. Sun S., Kumar A., and Yen J. Merging workflows: a new perspective on connecting business processes. Decis. Support Syst. 42 (2006) 844-858
24. Tatsubori, M., T. Imamura and Y. Nakamura, Best-Practice Patterns and Tool Support for Configuring Secure Web Services Messaging, in: ICWS'04: Proceedings of the IEEE International Conference on Web Services (2004), p. 244
25. Vagts, H.-H., "Control Flow Enforcement in Workflows in the Presence of Exceptions," Master's thesis, TU Darmstadt (2007). URL http://www.sec.informatik.tu-darmstadt.de/pages/dipl/docs/finished/vagts_diplom.pdf
26. Yan, J., Y. Yang and G.K. Raikundalia, SwinDeW-A p2p-Based Decentralized Workflow Management System, IEEE Transactions on Systems, Man, and Cybernetics Part A - Systems and Humans (2006), pp. 922-935