Analysis of Web Services Secure Conversation with Formal Methods
Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Dı́az · 2007
Web services secure conversation extends Web services trust to provide mechanisms for establishing security contexts. A security 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.