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. Computers and Artificial Intelligence, 25(5):353-368, 2006.
@article{KimKCZKZK06,
title = {Formal Verification of Security Model Using SPR Tool},
author = {Il-Gon Kim and Miyoung Kang and Jin-Young Choi and Peter D. Zegzhda and Maxim O. Kalinin and Dmitry P. Zegzhda and Inhye Kang},
year = {2006},
tags = {security},
researchr = {https://researchr.org/publication/KimKCZKZK06},
cites = {0},
citedby = {0},
journal = {Computers and Artificial Intelligence},
volume = {25},
number = {5},
pages = {353-368},
}