論文

• 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, Apr. 2013.  公式リンク  
  
• 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, Nov. 2011.
• 冨岡 大悟, 池田立野, 西崎真也. 通信プロトコルにおけるサービス不能攻撃耐性のための型付π計算, コンピュータソフトウェア, 日本ソフトウェア科学会, Vol. 23, No. 3, pp. 66-84, July 2006.

国際会議発表 (査読有り)

• 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, Nov. 2009.  公式リンク  
  
• 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, July 2009.  公式リンク  
  
• 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, Nov. 2004.

国際会議発表 (査読なし・不明)

• 池田立野, 西崎真也. Spice計算へのブロードキャスト通信の拡張, システム検証の科学技術シンポジウム(SSV 2008), 第５回システム検証の科学技術シンポジウム論文集, 日本ソフトウェア科学会 ディペンダブルシステム研究会, Nov. 2008.  公式リンク  
  

国内会議発表 (査読なし・不明)

• 西崎真也, 池田立野, 日高 武尊. プロトコルのDoS攻撃耐性解析のための計算体系における時間モデル, 日本ソフトウェア科学会第22回大会, 日本ソフトウェア科学会第22回大会論文集, 日本ソフトウェア科学会, Sept. 2010.
• 池田立野, 西崎真也. Spice 計算へのブロードキャスト通信の拡張, 第5回システム検証の科学技術シンポジウム, 第5回システム検証の科学技術シンポジウム予稿集, 日本ソフトウェア科学会ディペンダブルシステム研究会, pp. 89-95, Nov. 2008.
• 池田立野, 西崎真也. プロセス計算による定性的コスト解析とネットワークシミュレータによ る定量的コスト解析, 第４回システム検証の科学技術シ ンポジウム論文集, 日本ソフトウェア科学会ディペンダブルシステム研究会, pp. 2-10, Nov. 2007.  公式リンク  
  
• 藤井みづき, 西崎真也, 池田立野. プロセス生成コスト解析するためのプロセス計算, 日本ソフトウェア科学会第24 回大会論文集, 日本ソフトウェア科学会, Sept. 2007.
• 池田立野, 西崎真也. プロセス計算によるコスト解析とネットワークシミュレーションの比較, 日本ソフトウェア科学会第24 回大会, 日本ソフトウェア科学会第24 回大会論文集, 日本ソフトウェア科学会, Sept. 2007.
• 池田立野, 西崎真也. Spice計算からモデル記述言語Promelaへの変換によるサービス不能攻撃耐性解析, 第三回システム検証の科学技術シンポジウム, 第三回システム検証の科学技術シンポジウム予稿集, 産業技術総合研究所システム検証研究センター, pp. 7-14, Oct. 2006.

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]