6

Attribute-based Credentials for Trust: Technical Implementation and Feasibility

Automatic Security Analysis of SAML-based Single Sign-On Protocols

From Multiple Credentials to Browser-Based Single Sign-On: Are We More Secure?

Security Validation of Business Processes via Model-Checking