阿部洋丈, 大山恵弘, 岡瑞起, 加藤和彦 : 静的解析に基づく侵入検知システムの最適化, 情報処理学会論文誌コンピューティングシステム, Vol.45, No.SIG3 (ACS 5), pp. 11-20, 2004.