Open AccessFormal Analysis and Verification of OAuth 2.0 Protocol Improved by Key Cryptosystems
Author(s) -
Xiao Meihua,
Cheng Daolei,
Li Wei,
Li Ya'nan,
Liu Xinqian,
Mei Yingtian
Publication year - 2017
Publication title -
chinese journal of electronics
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.267
H-Index - 25
eISSN - 2075-5597
pISSN - 1022-4653
DOI - 10.1049/cje.2017.04.003
Subject(s) - key (lock) , computer science , cryptosystem , protocol (science) , cryptographic protocol , computer security , programming language , theoretical computer science , cryptography , medicine , alternative medicine , pathology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom