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:	Security properties Computer science business.industry Embedded system Computer Science (miscellaneous) business Protocol (object-oriented programming)
Zdroj:	Information Technology Journal. 12:2273-2285
ISSN:	1812-5638
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::174d2893ee1e999bc8a82687389b5b44 https://doi.org/10.3923/itj.2013.2273.2285 Zobrazit plný text záznamu