Analysis of Web Services Secure Conversation with Formal Methods

Web Services Secure Conversation extends Web Services Trust to provide mechanisms for establishing security consecurity context is an abstract concept that refers an authenticated state where the participants have derived secure session keys for multiples request/response exchanges. In this paper we model this protocol with the HLPSL language and we analyse it with the AVISPA toolbox.

• Type: Conference
• Year: 2007
• Where: ICIW
• Authors: M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz
• Keywords: ICIW 2007, Internet Technology, Secure Session Keys, Services Secure Conversation, Web Services