Statistics
Publications
1
Citations
13
H-Index
1
Active since
2009
Affiliations
Li Tingyuan is an author at Civil Aviation Flight University of China specializing in verification, automated reasoning, and formal specification.
Publications per year
2009–2009
1
1
Formal Analysis for Security of Otway-Rees Protocol with BAN Logic
Li Tingyuan, Xiaodong Liu, Qin Zhi-guang et al. · 2009 · 13 citations
1–1 of 1