@article{weko_6248_1, author = "宮地,利雄", title = "アルゴリズムの最近の動向:37. 保護システムの安全性判定法", journal = "情報処理", year = "1983", volume = "24", number = "4", month = "apr" }