Miyoung Kang

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 9

Top Topics

Formal Specification

Packet Filtering

Top Venues

IEICE Trans. Inf. Syst.

Publications

Seongho Yoon, Miyoung Kang, Jin-Young Choi
Security Attacks Against the Availability of Low Earth Orbit Satellite Networks. ICNCC (2023)
Miyoung Kang, Jong Jin Cho
Verification Framework for Software-Defined Networking. ICACT (2022)
Seongho Yoon, Miyoung Kang
DDoS attacks detection in the cloud using K-medoids algorithm. ICACT (2022)
Jong Jin Cho, Miyoung Kang
Threat Modeling Analysis on FireStormcx's Webcam System. ICACT (2022)
Young-Mi Kim, Miyoung Kang
Formal Verification of SDN-Based Firewalls by Using TLA+. IEEE Access 8 (2020)
Miyoung Kang, Jin-Young Choi
Formal Modeling and Verification of Software-Defined Networking with Multiple Controllers. TRIDENTCOM (2019)
So Jin Ahn, Dae-Yon Hwang, Miyoung Kang, Jin-Young Choi
Hierarchical System Schedulability Analysis Framework Using UPPAAL. IEICE Trans. Inf. Syst. (8) (2016)
Miyoung Kang, Jin-Young Choi, Inhye Kang, Hee-Hwan Kwak, So Jin Ahn, Myung-Ki Shin
A Verification Method of SDN Firewall Applications. IEICE Trans. Commun. (7) (2016)
Myung-Ki Shin, Yunchul Choi, Hee-Hwan Kwak, Sangheon Pack, Miyoung Kang, Jin-Young Choi
Verification for NFV-enabled network services. ICTC (2015)
Mijeong Park, Miyoung Kang, Jin-Young Choi
The Research on Vulnerability Analysis in OpenADR for Smart Grid. DARE (2014)
Miyoung Kang, Eun-Young Kang, Dae-Yon Hwang, Beom-Jin Kim, Ki-Hyuk Nam, Myung-Ki Shin, Jin-Young Choi
Formal Modeling and Verification of SDN-OpenFlow. ICST (2013)
Miyoung Kang, Ki-Hyuk Nam, Junkil Park, Myung-Ki Shin, Jeehoon Shin, Jin-Young Choi
Formal specifications for software-defined networking. CFI (2012)
Miyoung Kang, Junkil Park, Jin-Young Choi, Ki-Hyuk Nam, Myung-Ki Shin
Process Algebraic Specification of Software Defined Networks. CICSyN (2012)
Jaein Kim, Miyoung Kang, Buhyun Hwang
A method for detecting arrhythmia using a RR interval from ECG data in U-Health system. ICUIMC (2011)
Soonmook Jeong, Taehoun Song, Hyungmin Kim, Miyoung Kang, Key Ho Kwon, Jae Wook Jeon
Human Neck's Posture Measurement using a 3-Axis Accelerometer Sensor. ICCSA (5) (2011)
Miyoung Kang, Hyun Sook Rhee, Jin-Young Choi
Improved User Authentication Scheme with User Anonymity for Wireless Communications. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2) (2011)
Il-Gon Kim, Miyoung Kang, Jin-Young Choi, Peter D. Zegzhda, Maxim O. Kalinin, Dmitry P. Zegzhda, Inhye Kang
Formal Verification of Security Model Using SPR Tool. Comput. Artif. Intell. 25 (5) (2006)