31 search results - page 1 / 7 » Types and Effects for Secure Service Orchestration |
CSFW
2006
IEEE
13 years 8 months ago
2006
IEEE
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...
IFIP
2010
Springer
12 years 11 months ago
2010
Springer
Service Oriented Computing (SOC) is a programming paradigm aiming at characterising Service Networks. Services are entities waiting for clients requests and they often result from ...
FOSAD
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We present a framework for designing and composing services in a secure manner. Services can enforce security policies locally, and can invoke other services in a “call...
ICDE
2007
IEEE
13 years 11 months ago
2007
IEEE
Several current research efforts in business process modeling are investigating XML-based executable formal specification languages. The availability of the latter allows modeled...
IJNSEC
2010
12 years 11 months ago
2010
As the importance and the value of exchanged data over the Internet or other media types are increasing, the search for the best solution to offer the necessary protection against...