"西崎真也,池田立野,日高 武尊","プロトコルのDoS攻撃耐性解析のための計算体系における時間モデル","日本ソフトウェア科学会第22回大会","日本ソフトウェア科学会第22回大会論文集","日本ソフトウェア科学会",,,,2010,Sept.