Types and Effects for Secure Service Orchestration

13 years 8 months ago

Download www.di.unipi.it

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 constraints that make their composition safe. A static approach is then proposed to determine how to compose services and guarantee that their execution is always secure, without resorting to any dynamic check.

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F

Real-time Traffic

Call-by-property Invocation Mechanism | CSFW 2006 | Distributed Calculus | Security Privacy | Static Approach |

claim paper

» Secure Service Orchestration

» Enhancing Secured Service Interoperability with Decentralized Orchestration

» Evaluating the Effects of Symmetric Cryptography Algorithms on Power Consumption for Diffe...

» Puppetnets misusing web browsers as a distributed attack infrastructure

» Modeling permissions in a UXML world

» On a Classification Approach for SOA Vulnerabilities

» The Impact of the NSA Cyber Defense Exercise on the Curriculum at the Air Force Institute ...

» A First Order Logic Security Verification Model for SIP

Post Info
More Details (n/a)

Added	22 Aug 2010
Updated	22 Aug 2010
Type	Conference
Year	2006
Where	CSFW
Authors	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari

Comments (0)

Sciweavers

Types and Effects for Secure Service Orchestration

Call-by-property Invocation Mechanism | CSFW 2006 | Distributed Calculus | Security Privacy | Static Approach |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers