Miyoung Kang

According to our database, Miyoung Kang authored at least 17 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Security Attacks Against the Availability of Low Earth Orbit Satellite Networks.

Seongho Yoon, Miyoung Kang, Jin-Young Choi

Proceedings of the 12th International Conference on Networks, Communication and Computing, 2023

2022

DDoS attacks detection in the cloud using K-medoids algorithm.

Seongho Yoon, Miyoung Kang

Proceedings of the 24th International Conference on Advanced Communication Technology, 2022

Verification Framework for Software-Defined Networking.

Miyoung Kang, Jong Jin Cho

Proceedings of the 24th International Conference on Advanced Communication Technology, 2022

Threat Modeling Analysis on FireStormcx's Webcam System.

Jong Jin Cho, Miyoung Kang

Proceedings of the 24th International Conference on Advanced Communication Technology, 2022

2020

Formal Verification of SDN-Based Firewalls by Using TLA+.

Young-Mi Kim, Miyoung Kang

IEEE Access, 2020

2019

Formal Modeling and Verification of Software-Defined Networking with Multiple Controllers.

Miyoung Kang, Jin-Young Choi

Proceedings of the Testbeds and Research Infrastructures for the Development of Networks and Communications, 2019

2016

A Verification Method of SDN Firewall Applications.

Miyoung Kang, Jin-Young Choi, Inhye Kang, Hee-Hwan Kwak, So Jin Ahn, Myung-Ki Shin

IEICE Trans. Commun., 2016

Hierarchical System Schedulability Analysis Framework Using UPPAAL.

So Jin Ahn, Dae-Yon Hwang, Miyoung Kang, Jin-Young Choi

IEICE Trans. Inf. Syst., 2016

2015

Verification for NFV-enabled network services.

Myung-Ki Shin, Yunchul Choi, Hee-Hwan Kwak, Sangheon Pack, Miyoung Kang, Jin-Young Choi

Proceedings of the International Conference on Information and Communication Technology Convergence, 2015

2014

The Research on Vulnerability Analysis in OpenADR for Smart Grid.

Mijeong Park, Miyoung Kang, Jin-Young Choi

Proceedings of the Data Analytics for Renewable Energy Integration, 2014

2013

Formal Modeling and Verification of SDN-OpenFlow.

Miyoung Kang, Eun-Young Kang, Dae-Yon Hwang, Beom-Jin Kim, Ki-Hyuk Nam, Myung-Ki Shin, Jin-Young Choi

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

Process Algebraic Specification of Software Defined Networks.

Miyoung Kang, Junkil Park, Jin-Young Choi, Ki-Hyuk Nam, Myung-Ki Shin

Proceedings of the Fourth International Conference on Computational Intelligence, 2012

Formal specifications for software-defined networking.

Miyoung Kang, Ki-Hyuk Nam, Junkil Park, Myung-Ki Shin, Jeehoon Shin, Jin-Young Choi

Proceedings of the 7th International Conference on Future Internet Technologies, 2012

2011

Improved User Authentication Scheme with User Anonymity for Wireless Communications.

Miyoung Kang, Hyun Sook Rhee, Jin-Young Choi

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011

A method for detecting arrhythmia using a RR interval from ECG data in U-Health system.

Jaein Kim, Miyoung Kang, Buhyun Hwang

Proceedings of the 5th International Conference on Ubiquitous Information Management and Communication, 2011

Human Neck's Posture Measurement using a 3-Axis Accelerometer Sensor.

Soonmook Jeong, Taehoun Song, Hyungmin Kim, Miyoung Kang, Key Ho Kwon, Jae Wook Jeon

Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011

2006

Formal Verification of Security Model Using SPR Tool.

Il-Gon Kim, Miyoung Kang, Jin-Young Choi, Peter D. Zegzhda, Maxim O. Kalinin, Dmitry P. Zegzhda, Inhye Kang

Comput. Artif. Intell., 2006