Automata-Based Verification of Security Requirements of Composite Web Services.

Hongyu Sun, Samik Basu, Vasant G. Honavar, Robyn R. Lutz

Browse the full ISSRE paper archive.