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）