Synthesis of secure adaptors
Under an Elsevier user license
open archive
Highlights
► Automatic adaptor synthesis to orchestrate services with different security policies. ► Secure adaptors are able to receive, verify and recompose messages using cryptography. ► Adaptors solve service incompatibilities in signature, behaviour and security QoS. ► Secure adaptors are declaratively specified using security adaptation contracts. ► Secure adaptors are refined to be robust against attacks to a given secrecy property.
Keywords
Model-based adaptation
Web service orchestration
Security verification
Adaptor synthesis
Partial model checking
WS-Security
Cited by (0)
Copyright © 2011 Elsevier Inc.