2006 |
4 | EE | Hyun Seok Kim,
Il-Gon Kim,
Keun-Hee Han,
Jin-Young Choi:
Security and Privacy Analysis of RFID Systems Using Model Checking.
HPCC 2006: 495-504 |
3 | EE | 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): 889-907 (2006) |
2005 |
2 | EE | 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: 346-355 |
1 | | Keun-Hee Han,
Il-Gon Kim,
Kang-Won Lee,
Ji-Yeon Choi,
Sang-Hun Jeon:
Development of Threat Evaluation Tool for Distributed Network Environment.
Computers and Artificial Intelligence 24(2): (2005) |