Myung-Ki SHIN


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)

Evaluating IPv6 Application Transition
Myung-Ki SHIN 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2006/03/01
Vol. E89-B  No. 3  pp. 982-984
Type of Manuscript:  LETTER
Category: Internet
Keyword: 
IPv6application transitionIP version-independent applications
 Summary | Full Text:PDF(257.6KB)

The Performance Analysis of NAT-PT and DSTM for IPv6 Dominant Network Deployment
Myung-Ki SHIN 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2005/12/01
Vol. E88-B  No. 12  pp. 4664-4666
Type of Manuscript:  LETTER
Category: Internet
Keyword: 
IPv6transition mechanismNAT-PT (network address translation - protocol translation)DSTM (dual stack IPv6 dominant transition mechanism)
 Summary | Full Text:PDF(348.8KB)

Multicast Delivery Using Xcast in IPv6 Networks
Myung-Ki SHIN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/12/01
Vol. E87-D  No. 12  pp. 2548-2557
Type of Manuscript:  Special Section PAPER (Special Section on New Technologies and their Applications of the Internet)
Category: Protocols, Applications and Services
Keyword: 
multicastXcast (eXplicit Multicast)IPv6ASM (Any Source Multicast)SSM (Source-Specific Multicast)
 Summary | Full Text:PDF(1006.6KB)