Statistics
Publications
2
Citations
64
H-Index
2
Active since
2012
Affiliations
Yinglian Wang is an author at Yulin Orthopedics Hospital of Chinese and Western Medicine specializing in formal verification tools for cryptographic protocols, protocol verification, and computing.
Publications per year
2012–2020
2
2
The Security Analysis on Otway-Rees Protocol Based on BAN Logic
Kening Liu, Junyao Ye, Yinglian Wang · 2012 · 12 citations
1–2 of 2