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
TENCON 2007
Conference paper
Towards formal basis for security aspects of dynamic web services composition
Abstract
The complexity of security aspects in dynamic web services composition calls for the use of formal method to describe and analysis many security specifications. To solve these problem, in this paper, we advocate to apply Spi calculus to describe and reason the security properties, for convenience describe and reason we separate security into security enhancing capability and security limiting constraint. Meanwhile we extend the syntax and semantic of Spi calculus, named SpiWeb calculus, to adapt the security aspects in dynamic web services composition. ©2007 IEEE.