Automatic Verification of Security of Identity Federation Security Protocol Based on SAML2.0 with ProVerif in the Symbolic Model.

Published in: Int. J. Netw. Secur. (2020)

Keyphrases