Facilitates the exploitation of recent theoretical advances in the analysis of security protocols in the practical setting of XML web service. Includes tools and tutorials.
This website uses cookies to ensure you have the best experience. By continuing to use this site, you consent to our Privacy policy. You can disable cookies at any time, by changing your browser settings.