3
Publications
108
Citations
3
H-Index
2019
Active since
Affiliations
PLA Army Engineering University(Current)
Jingjing Zhang is an author at PLA Army Engineering University specializing in formal methods, data security, and formal verification.
Top concepts
EngineeringCryptographyVerificationData SecurityFormal MethodsFormal VerificationInformation SecurityNetwork SecurityWireless Security
Publications per year
2019–2021
3
3
Formal Verification of 5G-EAP-TLS Authentication Protocol
Jingjing Zhang, Qiang Wang, Lin Yang et al. · 2019 · 23 citations
Lightweight Authentication Mechanism, Mobile Security, Engineering +13
Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking
Jingjing Zhang, Lin Yang, Xianming Gao et al. · IEEE Access · 2021 · 21 citations · Full text
Rows per page
1–3 of 3