 | 2006 |
|---|
| 4 |       | 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 | | 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 | | 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) |
