Statistics
Publications
1
Citations
12
H-Index
1
Active since
2012
Affiliations
Jingdezhen Ceramic Institute(Current)
Junyao Ye is an author at Jingdezhen Ceramic Institute specializing in ban logic, deductive verification, and formal methods.
Publications per year
2012–2012
1
1
The Security Analysis on Otway-Rees Protocol Based on BAN Logic
Kening Liu, Junyao Ye, Yinglian Wang · 2012 · 12 citations
1–1 of 1