Title :
SpiG4WSC: A Calculus for Secure Services Composition
Author :
Xu Dong Hong ; Yong, Qi ; Di, Hou ; Ying, Chen
Author_Institution :
Dept. of Comput. Sci. & Technol., Xi´´an Jiaotong Univ., Xi´´an
Abstract :
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.
Keywords :
Web services; formal specification; pi calculus; security of data; Spi calculus; SpiG4WSC calculus; choreography; orchestration; secure Web service composition; secure global calculus; Bridges; Calculus; Collaboration; Computer science; Equations; Local activities; Proposals; Protocols; Security; Web services; Choreography; Global calculus; Orchestration; Spi calculus;
Conference_Titel :
Services Computing, 2008. SCC '08. IEEE International Conference on
Conference_Location :
Honolulu, HI
Print_ISBN :
978-0-7695-3283-7
DOI :
10.1109/SCC.2008.47
