• DocumentCode
    2750864
  • 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
  • fYear
    2007
  • fDate
    13-19 May 2007
  • Firstpage
    27
  • Lastpage
    27
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/ICIW.2007.17
  • Filename
    4222929
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2750864