Automatic Verification of Security Properties of OAuth 2.0 Protocol with Cryptoverif in Computational Model
Autor: | Xingdong Xu, Leyuan Niu, Bo Meng |
---|---|
Rok vydání: | 2013 |
Předmět: | |
Zdroj: | Information Technology Journal. 12:2273-2285 |
ISSN: | 1812-5638 |
Databáze: | OpenAIRE |
Externí odkaz: |