An access control language for web services
SACMAT '02 Proceedings of the seventh ACM symposium on Access control models and technologies
Dynamic Logic
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Web Service Conversation Modeling: A Cornerstone for E-Business Automation
IEEE Internet Computing
Retrieving and Semantically Integrating Heterogeneous Data from the Web
IEEE Intelligent Systems
Access Control for Semantic Web Services
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Authorization and Privacy for Semantic Web Services
IEEE Intelligent Systems
A Role based Access Control for Web Services
SCC '04 Proceedings of the 2004 IEEE International Conference on Services Computing
Synthesis of underspecified composite e-services based on automated reasoning
Proceedings of the 2nd international conference on Service oriented computing
Automated composition of e-services: lookaheads
Proceedings of the 2nd international conference on Service oriented computing
Automated Synthesis of Composite BPEL4WS Web Services
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Access control enforcement for conversation-based web services
Proceedings of the 15th international conference on World Wide Web
ComposingWeb Services with Nondeterministic Behavior
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Automated composition of web services by planning at the knowledge level
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Protocol engineering for web services conversations
Engineering Applications of Artificial Intelligence
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
The promise ofWeb Service Computing is to utilizeWeb services as fundamental elements for realizing distributed applications/solutions. In particular, when no available service can satisfy client request, (parts of) available services can be composed and orchestrated in order to satisfy such a request. In this paper, we address the automatic composition when component services have access control & authorization constraints, and impose further reputation constraints on other component services. In particular, access & authorization control is based on credentials, component services may (or not) trust of credentials issued by other component services and the service behavior is modeled by the possible conversations the service can have with its clients. We propose an automatic composition synthesis technique, based on reduction to satisfiability in Propositional Dynamic Logic, that is sound, complete and decidable. Moreover, we will characterize the computational complexity of the problem.