Model-Based Analysis of Money Accountability in Electronic Purses. - Il-Gon Kim; Young-Joo Moon; Inhye Kang; Ji-Yeon Lee; Keun-Hee Han; Jin-Young Choi (WINE, 2005)

Development of Threat Evaluation Tool for Distributed Network Environment. - Keun-Hee Han; Il-Gon Kim; Kang-Won Lee; Ji-Yeon Choi; Sang-Hun Jeon (Comput. Artif. Intell., 2005)

Security and Privacy Analysis of RFID Systems Using Model Checking. - Hyun Seok Kim; Il-Gon Kim; Keun-Hee Han; Jin-Young Choi (HPCC, 2006)

Threat Evaluation Method for Distributed Network Environment. - Keun-Hee Han; Il-Gon Kim; Kang-Won Lee; Jin-Young Choi; Sang-Hun Jeon (J. Inf. Sci. Eng., 2006)

Medical Device Safety Management Using Cybersecurity Risk Analysis. - Dong-Won Kim; Jin-Young Choi; Keun-Hee Han (IEEE Access, 2020)

Risk management-based security evaluation model for telemedicine systems. - Dong-Won Kim; Jin-Young Choi; Keun-Hee Han (BMC Medical Informatics Decis. Mak., 2020)