Miyoung KANG


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)