Secure Sessions for Web Services

Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    15 Citations (Scopus)
    220 Downloads (Pure)


    WS-Security provides basic means to secure SOAP traffic, one envelope at a time. For typical web services, however, using WS-Security independently for each message is rather inefficient; besides, it is often important to secure the integrity of a whole session, as well as each message. To this end, recent specifications provide further SOAP-level mechanisms: WS-SecureConversation introduces security contexts, which can be used to secure sessions between two parties. WS-Trust specifies how security contexts are issued and obtained. We develop a semantics for the main mechanisms of WS-Trust and WS-SecureConversation, expressed as a library for TulaFale, a formal scripting language for security protocols. We model typical protocols relying on these mechanisms, and automatically prove their main security properties. We also informally discuss some limitations of these specifications.
    Original languageEnglish
    Title of host publicationACM Workshop on Secure Web Services (SWS)
    Place of PublicationNew York
    PublisherACM Press
    Number of pages11
    ISBN (Print)1-58113-973-X
    Publication statusPublished - Oct 2004
    EventWorkshop on Secure Web Service, SWS 2004 - Fairfax, United States
    Duration: 29 Oct 200429 Oct 2004


    ConferenceWorkshop on Secure Web Service, SWS 2004
    Abbreviated titleSWS
    Country/TerritoryUnited States


    • SCS-Cybersecurity


    Dive into the research topics of 'Secure Sessions for Web Services'. Together they form a unique fingerprint.

    Cite this