Jin-Young CHOI


Hierarchical System Schedulability Analysis Framework Using UPPAAL
So Jin AHN Dae Yon HWANG Miyoung KANG Jin-Young CHOI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/08/01
Vol. E99-D  No. 8  pp. 2172-2176
Type of Manuscript:  LETTER
Category: Software System
Keyword: 
hierarchical systemschedulability analysisreal-time systemsformal methodsUPPAAL
 Summary | Full Text:PDF(455.9KB)

A Verification Method of SDN Firewall Applications
Miyoung KANG Jin-Young CHOI Inhye KANG Hee Hwan KWAK So Jin AHN Myung-Ki SHIN 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2016/07/01
Vol. E99-B  No. 7  pp. 1408-1415
Type of Manuscript:  PAPER
Category: Fundamental Theories for Communications
Keyword: 
software-defined networkingpACSRformal modelingformal verification
 Summary | Full Text:PDF(1.6MB)

Improved User Authentication Scheme with User Anonymity for Wireless Communications
Miyoung KANG Hyun Sook RHEE Jin-Young CHOI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2011/02/01
Vol. E94-A  No. 2  pp. 860-864
Type of Manuscript:  LETTER
Category: Cryptography and Information Security
Keyword: 
authenticationanonymitywireless communications
 Summary | Full Text:PDF(81.3KB)

Model Checking of Real-Time Properties of Resource-Bound Process Algebra
Junkil PARK Jungjae LEE Jin-Young CHOI Insup LEE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2009/11/01
Vol. E92-A  No. 11  pp. 2781-2789
Type of Manuscript:  Special Section PAPER (Special Section on Theory of Concurrent Systems and its Applications)
Category: 
Keyword: 
ACSRmodel checkingaction-based modelingreal-time temporal logicresource-bound process algebra
 Summary | Full Text:PDF(369.1KB)

Secure Handover Protocol for Mobile WiMAX Networks
Song-Hee LEE Nam-Sup PARK Jin-Young CHOI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/12/01
Vol. E91-D  No. 12  pp. 2875-2879
Type of Manuscript:  LETTER
Category: Networks
Keyword: 
secure handovermobile WiMAXIEEE 802.16ecross function
 Summary | Full Text:PDF(303.1KB)

Model Checking of RADIUS Protocol in Wireless Networks
Il-Gon KIM Jin-Young CHOI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2005/01/01
Vol. E88-B  No. 1  pp. 397-398
Type of Manuscript:  LETTER
Category: Internet
Keyword: 
model checkingCasperCSPFDRRADIUS
 Summary | Full Text:PDF(53.6KB)

Answer Set Semantics for Prioritized Defaults Logic
Hee-Jun YOO Mino BAI Jin-Young CHOI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/12/01
Vol. E87-D  No. 12  pp. 2883-2884
Type of Manuscript:  LETTER
Category: Fundamentals of Software and Theory of Programs
Keyword: 
default reasoningcourteous logic programsprioritiesnon-monotonic reasoningintelligent agent
 Summary | Full Text:PDF(139KB)