An improved calculus for secure dynamic services composition

Proceedings - International Computer Software and Applications Conference

Volumn , Issue , 2008, Pages 686-691

  Xu, Dong Hong ^a   Qi, Yong ^a   Hou, Di ^a   Wang, Gong Zhen ^a   Chen, Ying ^b  

^a XI'AN JIAOTONG UNIVERSITY   (China)

^b IBM CHINA RESEARCH LAB   (China)

Author keywords

Choreography; Global calculus; Orchestration; Spi calculus; Web services composition

Indexed keywords

CALCULATIONS; COMPUTER APPLICATIONS; COMPUTER SOFTWARE; COMPUTERS; DIFFERENTIATION (CALCULUS); FLOW INTERACTIONS; INFORMATION SERVICES; INFORMATION THEORY; LINGUISTICS; SPECIFICATIONS; STANDARDS; WEB SERVICES; WORD PROCESSING; WORLD WIDE WEB;

CHOREOGRAPHY; DYNAMIC PROPERTIES; DYNAMIC SERVICES; FORMAL APPROACH; GLOBAL CALCULUS; INTERACTION PROCESSES; ORCHESTRATION; SECURE SERVICES; SECURE WEB SERVICES; SECURITY MECHANISMS; SPI CALCULUS; VANTAGE POINT; WEB SERVICES COMPOSITION; WEB SERVICES COMPOSITIONS;

MATHEMATICAL TECHNIQUES;

EID: 51949106089     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2008.18     Document Type: Conference Paper

References (19)

1. Laura Bocchi.,Paolo Ciancarini.,On the Impact of Formal Methods in the SOA,Electronic Notes in Theoretical Computer Science160(2006),P113-126.
2. A.Aldini.,R.Gorrieri., Secure Service Orchestration, FOSAD 2006/2007, LNCS4677,pp.24-74,2007.
3. Karth ikeyan Bhargavan., Ricardo Corin.,Cedric Fournet.,etc., Secure Sessions for Web Services, ACM Journal Name, Vol. V, No. N, December 2006, Pages 1-0.
4. Xu Dong-Hong, Qi Yong, Hou Di, Chen Ying, Liu Liang. A Formal Model for Security-Aware dynamic Web Services Composition. Fifth IEEE International Conference on Computation Science and its Applications. Kuala Lumpur, Malaysia. 2007, 139-143.
5. Caludio Guidi., Roberto Lucchi and Manuel Mazzara., A Formal Framework for Web Services Coordination, Electronic Notes in Theoretical Computer Science 180(2007)55-70.
6. Papastergiou,S., Polemim, D.,2006, in IFIP International Federation for Information Processing, Volume 226, Project E-Society: Building Bricks, eds. R.Suomi, Cabral, R, Hampe,J. Felix, Heikkila, A., Jarvelainen, J., Koskivaara,E.,(Boston: Springer), pp.352-364.
7. Kapali Viswanathan., Colin Boyd., Ed Dawson., Secure Selection Protocols, ICISC'99,LNCS 1787, pp. 132-146, 2000.
8. Laura Bocchi., Cosimo Laneve., Gianluigi Zavattaro., A Calculus for Long-Running Transactions, IFIP International Federation for Information Processing, LNCS 2884, pp. 124-138, 2003.
9. Stefan Tai., Thomas Mikalen., Eric Wohlstadter., et al., Transactions policies for service-oriented computing, Dada&Knowledge Engineering 51(2004)59-79
10. Lucian Wischik., New directions in implementing the pi calculus, In Cabernet Radicals Workshop, October 2002
11. Mohsen Rouached., Olivier Perrin., and Claude Godart, Towards Formal Verification of Web Services Composition,
12. Martin Abadi., Security Protocols and their Properties., In Foundations of Secure Computation, F. Bauer and R. Steinbrueggen, Eds. NATO Science Series. IOS Press, Amsterdam, The Netherlands, 39-60. (Volume for the 20th International Summer School on Foundations of Secure Computation, held in Marktoberdorf, Germany (1999).)
13. Mirko Viroli., Towards a Formal Foundation to Orchestration Languages, Electronic Notes in Theoretical Computer Science 105(2004)51-71
14. Matteo Baldoni, Cristina Baroglio, et al., Reasoning About Interaction Protocols for Web Service Composition, Electronic Notes in Theoretical Computer Science 105(2004)21-36
15. Roberto Lucchi, Manuel Mazzara., A pi-calculus based semantics for WS-BPEL, The Journal of Logic and Algebraic Programming 70(2007)96-118
16. Tony Andrews et al., Specification: Business Process Execution Language for Web Services Versions 1.1 (2003), http://www-106.ibm.com/develpeworks/ webservices/library/wsbpel/.
17. Melliti Tarek., Celine Boutrous-Saab., et ac., Verifying correctness of Web services choreography, ECOWS 2006, Dec 4-6 2006.
18. Stephen Gilmore., Valentin Haenel., et ac., Choreographing Security and Performance Analysis for Web Services, EPEW 2005 and WS-FM 2005, LNCS 3670, pp. 200-214, 2005
19. Martin Wirsing., Rocco De Nicola., et al, SENSORIA Process Calculi for Service-Oriented Computing* , TGC2006, LNCS 4661, pp, 30-50, 2007.