DocumentCode :
2509261
Title :
A novel formal framework for secure dynamic services composition
Author :
Xu, Dong-Hong ; Qi, Yong ; Hou, Di ; Wang, Gong-Zhen ; Chen, Ying
Author_Institution :
Dept. of Comput. Sci. & Technol., Xi´´an Jiaotong Univ., Xi´´an
fYear :
2008
fDate :
8-11 July 2008
Firstpage :
694
Lastpage :
699
Abstract :
There is a pressing need for secure services composition in agenda transactions. Orchestration and choreography language provide basic services and interaction, collaboration, and negotiation standards among services, but they don´t give any secure manners or secure operation styles and specifications. Despite the interest of such security mechanisms, a formal module of them is still lacking. For giving a general guide to implement secure orchestration and secure choreography, we give a formal approach for carrying out this goal. To those targets, we address those by designing an extension of the Spi calculus with Secure Global Calculus. The Spi calculus precisely identifies orchestration secure properties of each principal from a local viewpoint. The secure global calculus describes an interaction secure choreography scenario from a vantage point of view. We called our framework SpiG4WSC calculus. We believe that the combination of strong practical needs for dynamic 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; agenda transaction; choreography language; formal specification; orchestration language; secure dynamic Web service composition; secure global calculus; Bridges; Calculus; Collaboration; Computer science; Pressing; Protocols; Security; Service oriented architecture; Web and internet services; Web services; Choreography; Global calculus; Orchestration; Spi calculus; Web services composition;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer and Information Technology, 2008. CIT 2008. 8th IEEE International Conference on
Conference_Location :
Sydney, NSW
Print_ISBN :
978-1-4244-2357-6
Electronic_ISBN :
978-1-4244-2358-3
Type :
conf
DOI :
10.1109/CIT.2008.4594759
Filename :
4594759
Link To Document :
بازگشت