Speaker
Myung-Ki Shin
Principal Researcher, ETRI, Korea
Myung-Ki Shin is currently a principal researcher at Electronics and Telecommunications Research Institute (ETRI), Korea. He is a technical leader of future networks and SDN standardization project in ETRI. He has been working on Internet protocols since 1994. He is an author of several IETF RFCs (RFC 3338, RFC 4038, RFC 4489, RFC 5181, etc.). He is a Rapporteur of Q21 (future networks) / SG13 in ITU-T. He is also a co-PI of K-GENI which is a part of GENI project. His research interests include future Internet, IPv6, mobility, network virtualization and software-defined networking (SDN) technologies. He was also a guest researcher at National Institute of Standards and Technology (NIST), USA in 2004-2005. He received a Ph.D. degree in computer engineering by research on IPv6 multicast and mobility in 2003.
Title: SDN Reference Architecture and Formal Programming Tools
Abstract:
Recently, SDN (software-defined networking) technologies are emerging and intensively
discussed within industries as well as standardization bodies, such ITU-T, IETF, ONF, etc.
However, SDN architectural issues are not fully discussed yet, because it might be very hard to build up a single architecture to accomodate diverse requirements from vendors, service providers, and network operators, etc. In this talk, we present a referecne mode for SDN which discuss a three-tier model including simple, well-defiend, open interfaces. In SDN, incomplete or malicious programmable entity could cause break-down of underlying networks shared by heterogeneous devices and stake-holders. we also discuss the formally verifiable networking framework for SDN, which consists of the three components formal specification and programming, verification methods, and implementation (control software and applications).
