Il-Gon Kim

Publication Activity (10 Years)

Years Active: 2004-2014
Publications (10 Years): 0

Top Topics

Security Requirements

Database Security

Healthcare Systems

Top Venues

J. Res. Pract. Inf. Technol.

Publications

Ki-Seok Bang, Il-Gon Kim, Ji-Yeon Lee, Jin-Young Choi
Using a Process Algebraic Approach of Verifying Access Control in XML-based Healthcare Systems. J. Res. Pract. Inf. Technol. 46 (2-3) (2014)
Debmalya Biswas, Il-Gon Kim
Atomicity for P2P based XML Repositories. ICDE Workshops (2007)
Il-Gon Kim
Static Verification of Access Control Model for AXML Documents. APWeb/WAIM (2007)
Il-Gon Kim, Miyoung Kang, Jin-Young Choi, Peter D. Zegzhda, Maxim O. Kalinin, Dmitry P. Zegzhda, Inhye Kang
Formal Verification of Security Model Using SPR Tool. Comput. Artif. Intell. 25 (5) (2006)
Hyun Seok Kim, Il-Gon Kim, Keun-Hee Han, Jin-Young Choi
Security and Privacy Analysis of RFID Systems Using Model Checking. HPCC (2006)
Keun-Hee Han, Il-Gon Kim, Kang-Won Lee, Jin-Young Choi, Sang-Hun Jeon
Threat Evaluation Method for Distributed Network Environment. J. Inf. Sci. Eng. 22 (4) (2006)
Il-Gon Kim, Debmalya Biswas
Application of Model Checking to AXML System's Security: A Case Study. WS-FM (2006)
Il-Gon Kim, Hyun Seok Kim, Ji-Yeon Lee, Jin-Young Choi, Inhye Kang
Secrecy Analysis of Purchase Transaction in Electronic Purses. AINA (1) (2006)
Hyun Seok Kim, Il-Gon Kim, Jin-Young Choi
Analysis of Security Protocols with Certificate over Open Networks: Electronic Payment System. ICDCS Workshops (2005)
Chul-Wuk Jeon, Il-Gon Kim, Jin-Young Choi
Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR. AINA (2005)
Il-Gon Kim, Young-Joo Moon, Inhye Kang, Ji-Yeon Lee, Keun-Hee Han, Jin-Young Choi
Model-Based Analysis of Money Accountability in Electronic Purses. WINE (2005)
Il-Gon Kim, Jin-Young Choi
Model Checking of RADIUS Protocol in Wireless Networks. IEICE Trans. Commun. (1) (2005)
Keun-Hee Han, Il-Gon Kim, Kang-Won Lee, Ji-Yeon Choi, Sang-Hun Jeon
Development of Threat Evaluation Tool for Distributed Network Environment. Comput. Artif. Intell. 24 (2) (2005)
Il-Gon Kim, Jin-Young Choi
Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking. AINA (2) (2004)
Il-Gon Kim, Jin-Young Choi
New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDR. VVEIS (2004)