Browsing by Author Wang, Sihan
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 1-Jan-2019 | Exploring the Insecurity of Google Account Registration Protocol via Model Checking | Xie, Tian; Wang, Sihan; Tu, Guan-Hua; Li, Chi-Yu; Lei, Xinyu; 資訊工程學系; Department of Computer Science |