A formal model for security-aware dynamic web services composition

Proceedings - The 2007 International Conference on Computational Science and its Applications, ICCSA 2007

Volumn , Issue , 2007, Pages 139-143

  Xu, Dong Hong ^a   Qi, Yong ^a   Hou, Di ^a   Chen, Ying ^b   Liu, Liang ^b  

^a XI'AN JIAOTONG UNIVERSITY   (China)

^b IBM CHINA RESEARCH LAB   (China)

Author keywords

Context; Dynamic web service composition; Security aware; Spi calculus

Indexed keywords

CALCULATIONS; INFORMATION SERVICES; INFORMATION THEORY; MATHEMATICAL TECHNIQUES; SECURITY SYSTEMS; SPECIFICATIONS; WEB SERVICES; WORLD WIDE WEB;

CASE STUDIES; COMPUTATIONAL SCIENCES; CONTEXT; DYNAMIC WEB SERVICE COMPOSITION; FORMAL MODELING; INTERNATIONAL CONFERENCES; ON-LINE BANKING; SECURITY FEATURES; SECURITY POLICIES; SECURITY PROPERTIES; SECURITY REQUIREMENTS; SECURITY-AWARE; SPI CALCULUS; WEB SERVICE COMPOSITION; WEB SERVICES COMPOSITIONS;

DIFFERENTIATION (CALCULUS);

EID: 48049104314     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCSA.2007.4     Document Type: Conference Paper

References (14)

1. M.Hondo, N.Nagaratnam, A.Naaalin, Securing Web Services, IBM systems Journal, 2002; VOL.41,No.2,p.228
2. IBM, Microsoft and Verisign,. Specification: Web Services Security(WS-Security).Version 1.0,05 April 2002.
3. OASIS. Web Service Security: SOAP Message Security Version 1.0, March 2004.
4. M.Abadi,A Gordon, Proceedings of the 4th ACM Conference on Computer and Communications Security. 1997. 36-47.
5. D.Langworthy(Eds.). Web Services Atomic Transaction (WS-Atomic Transaction), November 2004
6. P.Brezillon, Focusing on context in human-centered computing, IEEE Intell syst 18(3)(2003)
7. M.Tatsubori,T.Imamura,Y.Nakamura. Best-Practice patterns and Tool Support for Configuring Secure Web Service Messaging, ICWS'04, San Diego, U.S.A. July, 2004.
8. Kagal, L., Paolucci, M., Srinivasan, N., Denker, G.,. Finin, T., Sycara,K. Authorization and Privacy for Semantic Web Services, AAAI Spring Symposium, Workshop on Semantic Web Services.
9. Kagal, L.,Finin., Joshi, A.2003. A Policy Based Approach to Security on the Semantic Web, The Semantic Web-ISWC.
10. B. Carminati, E.Ferrari, P.C.K.Hung. Web Service Composition: A Security Perspective. Proceeding of the 2005 International Workshop on Challenges in Web Information Retrieval and Integration.
11. Artem Vorbiev, Jun Han, Specifying Dynamic Security Properties of Web Service Based Systems. Proceeding of the Second International Conference on Semantics, Knowledge, and Grid. 2006.
12. B. De Win, B.Vanhaute etc. How aspect-oriented programming can help to build secure software. Inofrmatica, 26(2): 141-149,2002
13. V.Shah,S.Hill, An Aspect-oriented Security Framework: lessons learned, AOSDESEC Workshop in conjunction with AOSD 04, Lancaster,U.K.,2000.
14. S.Tai, R. Khalaf,and T.Mikalsen. Composition of coordinated web services. In Proceeding of ACM international Middleware Conference,Volume 3231 of LNCS, pages 294-310. Springer,October 2004