Name
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. |
Year | DOI | Venue |
|---|---|---|
2008 | 10.1109/SCC.2008.47 | IEEE SCC (2) |
Keywords | Field | DocType |
secure web services composition,secure global calculus,web services,choreography,secure services composition,spi calculus,method spig4wsc calculus,choreography language,orchestration,secure operation style,formal approach,secure web service composition,secure manner,spig4wsc calculus,pi calculus,secure orchestration,formal specification,global calculus,security of data,basic composition technique,protocols,collaboration,computer science,security,calculus | Web service composition,Pi calculus,Computer science,Choreography,Formal specification,Web service,Orchestration (computing),Calculus | Conference |
Volume | ISSN | ISBN |
2 | 2474-8137 | 978-0-7695-3283-7 |
Citations | PageRank | References |
1 | 0.36 | 8 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Xu Dong Hong | 1 | 3 | 1.39 |
| Yong Qi | 2 | 610 | 59.72 |
| Hou Di | 3 | 18 | 3.91 |
| Chen Ying | 4 | 8 | 1.31 |