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
- Korea University
- Peter the Great St. Petersburg Polytechnic University
Research output: Contribution to journal › Article › peer-review
3
Scopus
citations