Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking. - Il-Gon Kim; Jin-Young Choi (AINA (2), 2004)

New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDR. - Il-Gon Kim; Jin-Young Choi (VVEIS, 2004)

Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR. - Chul-Wuk Jeon; Il-Gon Kim; Jin-Young Choi (AINA, 2005)

Analysis of Security Protocols with Certificate over Open Networks: Electronic Payment System. - Hyun Seok Kim; Il-Gon Kim; Jin-Young Choi (ICDCS Workshops, 2005)

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)

Model Checking of RADIUS Protocol in Wireless Networks. - Il-Gon Kim; Jin-Young Choi (IEICE Trans. Commun., 2005)

Secrecy Analysis of Purchase Transaction in Electronic Purses. - Il-Gon Kim; Hyun Seok Kim; Ji-Yeon Lee; Jin-Young Choi; Inhye Kang (AINA (1), 2006)

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

Application of Model Checking to AXML System's Security: A Case Study. - Il-Gon Kim; Debmalya Biswas (WS-FM, 2006)

Formal Verification of Security Model Using SPR Tool. - Il-Gon Kim; Miyoung Kang; Jin-Young Choi; Peter D. Zegzhda; Maxim O. Kalinin; Dmitry P. Zegzhda; Inhye Kang (Comput. Artif. Intell., 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)

Atomicity for P2P based XML Repositories. - Debmalya Biswas; Il-Gon Kim (ICDE Workshops, 2007)

Static Verification of Access Control Model for AXML Documents. - Il-Gon Kim (APWeb/WAIM, 2007)

Using a Process Algebraic Approach of Verifying Access Control in XML-based Healthcare Systems. - Ki-Seok Bang; Il-Gon Kim; Ji-Yeon Lee; Jin-Young Choi (J. Res. Pract. Inf. Technol., 2014)