2
Publications
25
Citations
2
H-Index
2009
Active since
Affiliations
Hung-Jui Wang is an author at National Yang Ming Chiao Tung University specializing in formal methods, formal verification, and data security.
Top concepts
LawBusinessTechnologyEngineeringCryptographyVerificationData SecurityFormal MethodsComputer ScienceMobile Computing
Publications per year
2009–2014
2
2
Provable Secure AKA Scheme with Reliable Key Delegation in UMTS
Yu‐Lun Huang, Chang Shen, Shiuh‐Pyng Shieh et al. · 2009 · 15 citations
Authentication Authorization, Mobile Security, Security Weaknesses +17
Rows per page
1–2 of 2