Towards formal basis for security aspects of dynamic web services composition

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.