Il-Gon Kim

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