Il-Gon Kim

According to our database, Il-Gon Kim authored at least 15 papers between 2004 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

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

2007

Static Verification of Access Control Model for AXML Documents.

Il-Gon Kim

Proceedings of the Advances in Data and Web Management, 2007

Atomicity for P2P based XML Repositories.

Debmalya Biswas, Il-Gon Kim

Proceedings of the 23rd International Conference on Data Engineering Workshops, 2007

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

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

Application of Model Checking to AXML System's Security: A Case Study.

Il-Gon Kim, Debmalya Biswas

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Security and Privacy Analysis of RFID Systems Using Model Checking.

Hyun Seok Kim, Il-Gon Kim, Keun-Hee Han, Jin-Young Choi

Proceedings of the High Performance Computing and Communications, 2006

Secrecy Analysis of Purchase Transaction in Electronic Purses.

Il-Gon Kim, Hyun Seok Kim, Ji-Yeon Lee, Jin-Young Choi, Inhye Kang

Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

2005

Model Checking of RADIUS Protocol in Wireless Networks.

Il-Gon Kim, Jin-Young Choi

IEICE Trans. Commun., 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-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

Proceedings of the Internet and Network Economics, First International Workshop, 2005

Analysis of Security Protocols with Certificate over Open Networks: Electronic Payment System.

Hyun Seok Kim, Il-Gon Kim, Jin-Young Choi

Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005

Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR.

Chul-Wuk Jeon, Il-Gon Kim, Jin-Young Choi

Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005

2004

New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDR.

Il-Gon Kim, Jin-Young Choi

Proceedings of the Verification and Validation of Enterprise Information Systems, 2004

Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking.

Il-Gon Kim, Jin-Young Choi

Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 2004