This is the Trace Id: d8b4694f5fc5871d1fdc97d15d6fb443

Bring the world closer with Bing Wallpaper

Download the free app and enjoy breathtaking views with a new background each day.
Get Bing Wallpaper
A laptop displaying a colorful seascape from Bing Wallpaper.

TulaFale: A Security Tool for Web Services

TulaFale is a new specification language for writing machine-checkable descriptions of SOAP-based security protocols and their properties. Last published: May 15, 2006.

Important! Selecting a language below will dynamically change the complete page content to that language.

Download

  • Version:

    1.5

    Date Published:

    7/15/2024

    File Name:

    TulaFale.msi

    File Size:

    2.2 MB

    TulaFale is a new specification language for writing machine-checkable descriptions of SOAP-based security protocols and their properties. TulaFale is based on the pi calculus (for writing collections of SOAP processors running in parallel), plus XML syntax (to express SOAP messaging), logical predicates (to construct and filter SOAP messages), and correspondence assertions (to specify authentication goals of protocols). Our implementation compiles TulaFale into the applied pi calculus, and then runs Blanchet's resolution-based protocol verifier. Hence, we can automatically verify authentication and secrecy properties of SOAP protocols. This release includes scripts, documentation and example policies from our recent papers "Secure Sessions for Web Services" and "Verifying Policy-based Security for Web Services."

  • Supported Operating Systems

    Windows 10, Windows 7, Windows 8

    • Windows 7, Windows 8, or Windows 10

    • Click Download and follow the instructions.

Follow Microsoft

Back To Top