Application of Formal Methods to the Analysis of Web Services Security - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz. Application of Formal Methods to the Analysis of Web Services Security. In Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro, editors, Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings. Volume 3670 of Lecture Notes in Computer Science, pages 215-229, Springer, 2005. [doi]

This author has not been identified. Look up 'M. Llanos Tobarra' in GoogleThis author has not been identified. Look up 'Diego Cazorla' in GoogleThis author has not been identified. Look up 'Fernando Cuartero' in GoogleThis author has not been identified. Look up 'Gregorio Díaz' in Google

runs on WebDSL