@article{DBLP:journals/cai/KimKCZKZK06,
  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},
  title     = {Formal Verification of Security Model Using SPR Tool},
  journal   = {Computers and Artificial Intelligence},
  volume    = {25},
  number    = {5},
  year      = {2006},
  pages     = {353-368},
  ee        = {http://www.sav.sk/index.php?lang=en{\&}charset=ascii{\&}doc=journal{\&}part=list_articles{\&}journal_issue_no=1696\#abstract_3497},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}