Automata-Based Verification of Security Requirements of Composite Web Services - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hongyu Sun, Samik Basu, Vasant Honavar, Robyn R. Lutz. Automata-Based Verification of Security Requirements of Composite Web Services. In IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010, San Jose, CA, USA, 1-4 November 2010. pages 348-357, IEEE Computer Society, 2010. [doi]

This author has not been identified. Look up 'Hongyu Sun' in GoogleThis author has not been identified. Look up 'Samik Basu' in GoogleThis author has not been identified. Look up 'Vasant Honavar' in GoogleThis author has not been identified. Look up 'Robyn R. Lutz' in Google

runs on WebDSL