default search action

combined dblp search
author search
venue search
publication search

ask others

Miyoung Kang

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2020
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/KimK20c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/KimK20c
Young-Mi Kim, Miyoung Kang:
Formal Verification of SDN-Based Firewalls by Using TLA+. IEEE Access 8: 52100-52112 (2020)
2016
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/KangCKKAS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/KangCKKAS16
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. 99-B(7): 1408-1415 (2016)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/AhnHKC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/AhnHKC16
So Jin Ahn, Dae-Yon Hwang, Miyoung Kang, Jin-Young Choi:
Hierarchical System Schedulability Analysis Framework Using UPPAAL. IEICE Trans. Inf. Syst. 99-D(8): 2172-2176 (2016)
2011
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/KangRC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/KangRC11
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. 94-A(2): 860-864 (2011)
2006
[j1]
- view
  - electronic edition @ cai.sk (open access)
  - details & citations
- export record
  dblp key:
  - journals/cai/KimKCZKZK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cai/KimKCZKZK06
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): 353-368 (2006)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icncc/YoonKC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icncc/YoonKC23
Seongho Yoon, Miyoung Kang, Jin-Young Choi:
Security Attacks Against the Availability of Low Earth Orbit Satellite Networks. ICNCC 2023: 64-69
2022
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icact/YoonK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icact/YoonK22
Seongho Yoon, Miyoung Kang:
DDoS attacks detection in the cloud using K-medoids algorithm. ICACT 2022: 91-94
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icact/ChoK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icact/ChoK22
Jong Jin Cho, Miyoung Kang:
Threat Modeling Analysis on FireStormcx's Webcam System. ICACT 2022: 276-281
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icact/KangC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icact/KangC22
Miyoung Kang, Jong Jin Cho:
Verification Framework for Software-Defined Networking. ICACT 2022: 518-523
2019
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/tridentcom/KangC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tridentcom/KangC19
Miyoung Kang, Jin-Young Choi:
Formal Modeling and Verification of Software-Defined Networking with Multiple Controllers. TRIDENTCOM 2019: 81-94
2015
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ictc/ShinCKPKC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictc/ShinCKPKC15
Myung-Ki Shin, Yunchul Choi, Hee-Hwan Kwak, Sangheon Pack, Miyoung Kang, Jin-Young Choi:
Verification for NFV-enabled network services. ICTC 2015: 810-815
2014
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/pkdd/ParkKC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pkdd/ParkKC14
Mijeong Park, Miyoung Kang, Jin-Young Choi:
The Research on Vulnerability Analysis in OpenADR for Smart Grid. DARE 2014: 54-60
2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/KangKHKNSC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/KangKHKNSC13
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: 481-482
2012
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cfi/KangNPSSC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cfi/KangNPSSC12
Miyoung Kang, Ki-Hyuk Nam, Junkil Park, Myung-Ki Shin, Jeehoon Shin, Jin-Young Choi:
Formal specifications for software-defined networking. CFI 2012: 51
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cicsyn/KangPCNS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cicsyn/KangPCNS12
Miyoung Kang, Junkil Park, Jin-Young Choi, Ki-Hyuk Nam, Myung-Ki Shin:
Process Algebraic Specification of Software Defined Networks. CICSyN 2012: 359-363
2011
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsa/JeongSKKKJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsa/JeongSKKKJ11
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: 96-109
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icuimc/KimKH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icuimc/KimKH11
Jaein Kim, Miyoung Kang, Buhyun Hwang:
A method for detecting arrhythmia using a RR interval from ECG data in U-Health system. ICUIMC 2011: 15

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-01100
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-01100
Seohyun Song, Eunkyul Leah Jo, Yige Chen, Jeen-Pyo Hong, Kyuwon Kim, Jin Wee, Miyoung Kang, Kyungtae Lim, Jungyeul Park, Chulwoo Park:
Unlocking Korean Verbs: A User-Friendly Exploration into the Verb Lexicon. CoRR abs/2410.01100 (2024)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.