2008 IEEE International Conference on Services Computing Vol. 2 SpiG4WSC: A Calculus for Secure Services Composition July 07-July 11 ISBN: 978-0-7695-3283-7
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SCC.2008.47
Orchestration and choreography language provide basic composition techniques and specification among services, but they don't give any secure manners or secure operation styles and specifications. For giving a general guide to implement secure orchestration and choreography, we give a formal approach for carrying out this goal. To this target, we address those by designing an extension of the Spi calculus with Secure Global Calculus. We named our method SpiG4WSC calculus. The combination of strong practical needs for secure Web services composition and the theoretical foundations will lead to a bridge between practice and theories.
Index Terms:
Spi calculus, Global calculus, Orchestration, Choreography
Citation:
Xu Dong Hong, Qi Yong, Hou Di, Chen Ying, "SpiG4WSC: A Calculus for Secure Services Composition," scc, vol. 2, pp.511-513, 2008 IEEE International Conference on Services Computing Vol. 2, 2008 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb