Transparently Adding Security Properties to Service Orchestration.

Stéphanie Chollet Philippe Lalanda André Bottaro

Published in: AINA Workshops (2008)

Keyphrases

security properties
web services
formal model
security analysis
security protocols
security requirements
service oriented architecture
cryptographic protocols
service oriented
formal methods
security vulnerabilities
low cost
loosely coupled