https://orcid.org/0000-0002-9415-5200
About the Authors
- Joo Woo
-
Roles Formal analysis
Affiliation Graduate School of Information Security, Korea University, Seoul, South Korea
- Kwangsu Lee
-
Roles Formal analysis
Affiliation Department of Computer and Information Security, Sejong University, Seoul, South Korea
- Jong Hwan Park
-
Roles Formal analysis
* E-mail: jhpark@smu.ac.kr
Affiliation Department of Computer Science, Sangmyung University, Seoul, South Korea
Competing Interests
The authors have declared that no competing interests exist.