SpiG4WSC: A Calculus for Secure Services Composition.

Dong-Hong Xu Yong Qi Di Hou Ying Chen

Published in: IEEE SCC (2) (2008)

Keyphrases

lightweight
ai planning
data encryption
automated deduction
authentication scheme
key management
multi party
service composition
distributed systems
security requirements
security issues
security analysis
cryptographic protocols
search space
provably correct
computer algebra
web services