Secure Sessions for Web Services

K. Bhargavan, R.J. Corin, C. Fournet, A.D. Gordon

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

    12 Citations (Scopus)
    104 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 languageUndefined
    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

    Publication series

    PublisherACM Press


    ConferenceWorkshop on Secure Web Service, SWS 2004
    Abbreviated titleSWS
    CountryUnited States


    • METIS-220416
    • SCS-Cybersecurity
    • EWI-759
    • IR-48701

    Cite this