The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...
S. Chandrasekaran, C. Dinesh, Kartic Ramesh, Al. M...
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...
Web Services for CAD (WSC)[8] aims at interoperation with a commercial CAD system based on Web Services. This paper introduces one improvement of WSC which enables remote users to...
This paper presents an emerging tool for security configuration of service-oriented architectures with Web Services. Security is a major concern when implementing mission-critical...
In this paper, we present a new approach, called SATIS (Semantically AnnotaTed Intentions for Services), relying on semantic web technologies and models, to assist collaboration a...