Formal Security Analysis of the OpenID FAPI 2.0 Family of Protocols: Accompanying a Standardization Process.
Saved in:
| Title: | Formal Security Analysis of the OpenID FAPI 2.0 Family of Protocols: Accompanying a Standardization Process. |
|---|---|
| Authors: | Hosseyni, Pedram1, pedram.hosseyni@sec.uni-stuttgart.de, Küsters, Ralf1, ralf.kuesters@sec.uni-stuttgart.de, Würtele, Tim1, tim.wuertele@sec.uni-stuttgart.de |
| Source: | ACM Transactions on Privacy & Security; Feb2025, Vol. 28 Issue 1, p1-36, 36p |
| Database: | Applied Science & Technology Source |
| ISSN: | 24712566 |
|---|---|
| DOI: | 10.1145/3699716 |
