About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Publication
SCC 2008
Conference paper
SpiG4WSC: A calculus for secure services composition1
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. © 2008 IEEE.