332 search results - page 6 / 67 » Towards an Automatic Analysis of Web Service Security |
ACJ
2006
13 years 8 months ago
2006
SMC
2007
IEEE
14 years 2 months ago
2007
IEEE
: With the development of enterprise-wide and cross-enterprise application integration and interoperation towards web service, web service providers try to not only fulfill the fun...
IEEEARES
2009
IEEE
14 years 3 months ago
2009
IEEE
— Trust in software services is a key prerequisite for the success and wide adoption of Services-Oriented Computing (SOC) in an open Internet world. However, trust is poorly asse...
COLCOM
2009
IEEE
14 years 1 months ago
2009
IEEE
— Sharing personal information and documents is pervasive in Web 2.0 environments, which creates the need for properly controlling shared data. Most existing authorization and po...
GCC
2003
Springer
14 years 1 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...