A Novel Formal Framework for Secure Dynamic Services Composition

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 specifi...

Full description

Saved in:
Bibliographic Details
Published in2008 8th IEEE International Conference on Computer and Information Technology pp. 694 - 699
Main Authors Dong-Hong Xu, Yong Qi, Di Hou, Gong-Zhen Wang, Ying Chen
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.07.2008
Subjects
Business
Calculus
Choreography
Global calculus
Joints
Orchestration
Protocols
Security
Spi calculus
Web services
Web services composition
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:9781424423576
1424423570
DOI:10.1109/CIT.2008.4594759