Exploring the Insecurity of Google Account Registration Protocol via Model Checking

Tian Xie, Sihan Wang, Guan Hua Tu, Chi-Yu Li, Xinyu Lei

研究成果: Conference contribution同行評審

1 引文 斯高帕斯(Scopus)

指紋

深入研究「Exploring the Insecurity of Google Account Registration Protocol via Model Checking」主題。共同形成了獨特的指紋。

Mathematics

Engineering & Materials Science