Title :
Analysis of Web Services Secure Conversation with Formal Methods
Author :
Tobarra, Llanos ; Cazorla, Diego ; Cuartero, Fernando ; Díaz, Gregorio
Author_Institution :
Escuela Politec. Super. de Albacete, Univ. of Castilla-La Mancha, Albacete
Abstract :
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.
Keywords :
Web services; formal languages; formal specification; formal verification; message authentication; AVISPA toolbox; HLPSL language; Web service secure conversation analysis; abstract concept; automated Internet security protocol validation; formal method; multiple request-response exchange; protocol; Context-aware services; Cryptography; Electronic commerce; Performance analysis; Proposals; Protocols; Security; Service oriented architecture; Web services; XML;
Conference_Titel :
Internet and Web Applications and Services, 2007. ICIW '07. Second International Conference on
Conference_Location :
Morne
Print_ISBN :
0-7695-2844-9
Electronic_ISBN :
0-7695-2844-9
DOI :
10.1109/ICIW.2007.17
