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
期刊:
2019 IEEE Symposium Series on Computational Intelligence (SSCI
影响因子:
--
通讯作者:
Lei, Xinyu
Lei, Xinyu
中科院分区:
--
文献类型:
--
作者:
Xie, Tian;Wang, Sihan;Tu, Guan-Hua;Li, Chi-Yu;Lei, Xinyu

文献摘要

参考文献

相似文献

注册还是放弃:探索 Web 服务注册中的用户退出
DOI: --
发表时间: 2013
期刊:
影响因子: --
作者:
M. Malheiros
通讯作者: M. Malheiros
浏览器安全:Google Chrome 的教训
DOI: --
发表时间: 2009
期刊: Queue
影响因子: --
作者:
Charles Reis;Adam Barth;Carlos Pizano
通讯作者: Carlos Pizano