Exploring the Insecurity of Google Account Registration Protocol via Model Checking
Exploring the Insecurity of Google Account Registration Protocol via Model Checking
复制标题
通过模型检查探索Google帐户注册协议的不安全性
DOI:
10.1109/ssci44817.2019.9003113
复制
发表时间:
2019
期刊:
影响因子:
--
通讯作者:
Lei, Xinyu
中科院分区:
文献类型:
--
作者:
Xie, Tian;Wang, Sihan;Tu, Guan-Hua;Li, Chi-Yu;Lei, Xinyu
DOI:
--
发表时间:
2013
期刊:
影响因子:
--
作者:
M. Malheiros
通讯作者:
M. Malheiros
影响因子:
--
作者:
Charles Reis;Adam Barth;Carlos Pizano
通讯作者:
Carlos Pizano