@article{oai:ipsj.ixsq.nii.ac.jp:00006248,
 author = {宮地, 利雄 and Miyachi, Toshio},
 issue = {4},
 journal = {情報処理},
 month = {Apr},
 title = {アルゴリズムの最近の動向：37. 保護システムの安全性判定法},
 volume = {24},
 year = {1983}
}