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. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/CIT.2008.4594759 | CIT |
Keywords | Field | DocType |
orchestration language,secure global calculus,global calculus,web services,choreography,secure dynamic web service composition,spi calculus,choreography language,orchestration,web services composition,agenda transaction,pi calculus,formal specification,security of data,protocols,service oriented architecture,collaboration,security,business,computer science,calculus,pressing | Web service composition,Pi calculus,Computer security,Computer science,Choreography,Formal specification,Web service,Orchestration (computing),Service-oriented architecture,Distributed computing,Negotiation | Conference |
Volume | Issue | ISBN |
null | null | 978-1-4244-2358-3 |
Citations | PageRank | References |
1 | 0.35 | 8 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Xu Dong Hong | 1 | 3 | 1.39 |
Yong Qi | 2 | 610 | 59.72 |
Hou Di | 3 | 18 | 3.91 |
Gong-Zhen Wang | 4 | 2 | 0.70 |
Ying Chen | 5 | 361 | 34.10 |