Automatic Verification of Security of Identity Federation Security Protocol Based on SAML2.0 with ProVerif in the Symbolic Model.
Year: 2020
Type: article
Authors: Jintian Lu, Xudong He, Yitong Yang, Dejun Wang, Bo Meng
Language: English
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W3003189122
