"Shin-ya Nishizaki,Ritsuya Ikeda","Formal Model of Time for Analyzing Denial-of-Service Attacks",,"International Journal of Advancements in Computing Technology","Advanced Institute of Convergence IT","Vol. 5","No. 7","pp. 580--588",2013,Apr.
"Ritsuya Ikeda,Kensuke Narita,Shin-ya Nishizaki","Cooperation of Model Checking and Network Simulation for Cost Analysis of Distributed Systems",,"International Journal of Computers and Applications","ACTA Press","Vol. 33","No. 4","pp. 323-329",2011,Nov.
"西崎真也,池田立野,日高 武尊","プロトコルのDoS攻撃耐性解析のための計算体系における時間モデル","日本ソフトウェア科学会第22回大会","日本ソフトウェア科学会第22回大会論文集","日本ソフトウェア科学会",,,,2010,Sept.
"Ritsuya Ikeda,Kensuke Narita,Shin-ya Nishizaki","Cooperative Approach to Quality and Quantitative Cost Analyses of Distributed Systems","the 13th IASTED International Conference on Software Engineering and Application ? SEA 2009","Proceedings of the 13th IASTED International Conference on Software Engineering and Application ? SEA 2009","ACTA Press",,,"pp. 126-132",2009,Nov.
"Ritsuya Ikeda,Takuya Oohata,Shin-ya Nishizaki","Formalization of Broadcast Communication in Process Calculus and Its Model Checking","ICSOFT 2009","Proceedings of the 4th International Conference on Software and Data Technologies","INSTICC Press","Vol. 1",,"pp. 348-352",2009,July
"池田立野,西崎真也","Spice計算へのブロードキャスト通信の拡張","システム検証の科学技術シンポジウム(SSV 2008)","第５回システム検証の科学技術シンポジウム論文集","日本ソフトウェア科学会 ディペンダブルシステム研究会",,,,2008,Nov.
"池田立野,西崎真也","Spice 計算へのブロードキャスト通信の拡張","第5回システム検証の科学技術シンポジウム","第5回システム検証の科学技術シンポジウム予稿集","日本ソフトウェア科学会ディペンダブルシステム研究会",,,"pp. 89-95",2008,Nov.
"池田立野,西崎真也","プロセス計算による定性的コスト解析とネットワークシミュレータによ る定量的コスト解析",,"第４回システム検証の科学技術シ ンポジウム論文集","日本ソフトウェア科学会ディペンダブルシステム研究会",,,"pp. 2-10",2007,Nov.
"藤井みづき,西崎真也,池田立野","プロセス生成コスト解析するためのプロセス計算",,"日本ソフトウェア科学会第24 回大会論文集","日本ソフトウェア科学会",,,,2007,Sept.
"池田立野,西崎真也","プロセス計算によるコスト解析とネットワークシミュレーションの比較","日本ソフトウェア科学会第24 回大会","日本ソフトウェア科学会第24 回大会論文集","日本ソフトウェア科学会",,,,2007,Sept.
"池田立野,西崎真也","Spice計算からモデル記述言語Promelaへの変換によるサービス不能攻撃耐性解析","第三回システム検証の科学技術シンポジウム","第三回システム検証の科学技術シンポジウム予稿集","産業技術総合研究所システム検証研究センター",,,"pp. 7-14",2006,Oct.
"冨岡 大悟,池田立野,西崎真也","通信プロトコルにおけるサービス不能攻撃耐性のための型付π計算",,"コンピュータソフトウェア","日本ソフトウェア科学会","Vol. 23","No. 3","pp. 66-84",2006,July
"Daigo Tomioka,Shin-ya NISHIZAKI,Ritsuya Ikeda","A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack","Second Mext-NSF-JSPS International Symposium, ISSS 2003","Software Security - Theories and Systems","Springer-Verlag","Volume 3233",,"pp. 25-44",2004,Nov.