Analysis of Web Services Secure Conversation with Formal Methods.

Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Daz

Browse the full ICIW paper archive.