Automatic Verification of Security of OpenID Connect Protocol with ProVerif.

Details

Language :

English

ISBNs :

9783319491080

Database :

Complementary Index

Journal :

Advances on P2P, Parallel, Grid, Cloud & Internet Computing

Publication Type :

Book

Accession number :

119820506

Full Text :

https://doi.org/10.1007/978-3-319-49109-7_20