Directory Home
Researchers
Departments
Publications
Projects
Activities
Datasets
Home
>
Research
>
Publications & Outputs
>
A Comprehensive Formal Security Analysis of OAu...
Research
Research at Lancaster
Researchers
Departments & Centres
Publications & Outputs
Projects
Activities
Datasets
LANCASTER UNIVERSITY LEIPZIG
Links
https://dblp.org/db/journals/corr/corr1601.html#FettKS16
Final published version
http://arxiv.org/abs/1601.01229
View graph of relations
A Comprehensive Formal Security Analysis of OAuth 2.0.
Research output
:
Other contribution
Published
Overview
Cite this
Daniel Fett
Ralf Küsters
Guido Schmitz
Close
More...
Publication date
2016
<mark>Original language</mark>
English
Publication series
Name
CoRR