Hoon Choi

Dr. Hoon Choi


Research Focus & Metrics

Academic Career Length

35Years (1992-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
1 May 1994 in Performance Evaluation
Verified
Journal Article
Closed access
HCHoon Choi
Hoon Choi
VKVidyadhar G. Kulkarni
Vidyadhar G. Kulkarni
KTKishor S. Trivedi
Kishor S. Trivedi

1 November 2017
Verified
Conference Paper
Closed access
TKTai-Yeon Ku
Tai-Yeon Ku
WPWan-Ki Park
Wan-Ki Park
HCHoon Choi
Hoon Choi
IoT smart energy management is to maximize energy efficiency through energy information collection, energy DR management and energy sharing/trading by developing IoT-based smart energy platform technology. IoT smart energy management services provide energy efficiency enhancement, energy sharing and trading services through interconnection and integration of energy supply-transfer-utilization energy systems using the Internet of things. For this, this paper shows IoT energy management platform with energy big data system.

1 January 1993 in Lecture Notes in Computer Science
Verified
Book Chapter
Closed access
PDF file
HCHoon Choi
Hoon Choi
VKVidyadhar G. Kulkarni
Vidyadhar G. Kulkarni
KTKishor S. Trivedi
Kishor S. Trivedi

1 January 1992
Verified
Conference Paper
Closed access
HCHoon Choi
Hoon Choi
KTK.S. Trivedi
K.S. Trivedi
The performance of a polling system is modeled by stochastic Petri nets and its analysis is done by numerically solving the underlying Markov chain. One key problem in using stochastic Petri nets for real applications is that the size of underlying Markov chain tends to be large, and thus to be computationally intractable. In order to carry out the performance analysis of a large complex system in practice, the authors develop approximation methods at the Petri net level for the finite population, asymmetric polling systems and analyze the error due to the approximation. The mean cycle time and the mean response time of the system are approximated by the folding method and by the fixed-point iteration method. The effect of an increasing number of customers on the polling systems is studied using these approximations. The approximation methods are shown to save more than 95% of computation cost without a concomitant loss in accuracy. The methods perform very well at low offered loads.<>

1 March 1998 in Microelectronics Reliability
Verified
Journal Article
Closed access
HCHoon Choi
Hoon Choi
WWWei Wang
Wei Wang
KTKishor S. Trivedi
Kishor S. Trivedi

2 January 2018 in Symmetry
Verified
Journal Article
Open access
PDF file
KPKyungmin Park
Kyungmin Park
SWSamuel Woo
Samuel Woo
DMDaesung Moon
Daesung Moon
HCHoon Choi
Hoon Choi
We propose a novel dynamic host mutation (DHM) architecture based on moving target defense (MTD) that can actively cope with cyberattacks. The goal of the DHM is to break the cyber kill chain, expand the attack surface to increase the attacker’s target analysis cost, and disrupt the attacker’s fingerprinting to disable the server trace. We define the participating entities that share the MTD policy within the enterprise network or the critical infrastructure, and define functional modules of each entity for DHM enforcement. The threat model of this study is an insider threat of a type not considered in previous studies. We define an attack model considering an insider threat and propose a decoy injection mechanism to confuse the attacker. In addition, we analyze the security of the proposed structure and mechanism based on the security requirements and propose a trade-off considering security and availability.