Zvonimir, H., & Ante, Đ. SAML V2.0 Web Browser SSO Tamarin models (Version 1.0.0) [Computer software]. https://github.com/zvonac/SAML-SSO-tamarin