5
Publications
89
Citations
5
H-Index
2000
Active since
Affiliations
Miyoung Kang is an author at Korea University specializing in engineering, computer engineering, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationSystems EngineeringComputer EngineeringSoftware-defined NetworkingData SecuritySystem Software
Publications per year
2000–2020
5
5
Improved User Authentication Scheme with User Anonymity for Wireless Communications
Miyoung Kang, Hyun Sook Rhee, Jin‐Young Choi · IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences · 2011 · 21 citations
Wireless Communications, Lightweight Authentication Mechanism, Smart Card +14
Formal Modeling and Verification of SDN-OpenFlow
Miyoung Kang, Eun-Young Kang, Dae-Yon Hwang et al. · 2013 · 20 citations
Verification for NFV-enabled network services
Myung-Ki Shin, Yun-Chul Choi, Hee Hwan Kwak et al. · 2015 · 19 citations
MOCHA: Exploiting Modularity in Model Checking
Luca de Alfaro, Rajeev Alur, Radu Grosu et al. · Defense Technical Information Center (DTIC) · 2000 · 11 citations
Rows per page
1–5 of 5