@article{CTT100653587,
  author = {Shin-ya Nishizaki and Ritsuya Ikeda},
  title = {Formal Model of Time for Analyzing Denial-of-Service Attacks},
  journal = {International Journal of Advancements in Computing Technology},
  year = 2013,
}

@article{CTT100632392,
  author = {Ritsuya Ikeda and Kensuke Narita and Shin-ya Nishizaki},
  title = {Cooperation of Model Checking and Network Simulation for Cost Analysis of Distributed Systems},
  journal = {International Journal of Computers and Applications},
  year = 2011,
}

@article{CTT100596950,
  author = {冨岡 大悟 and 池田立野 and 西崎真也},
  title = {通信プロトコルにおけるサービス不能攻撃耐性のための型付π計算},
  journal = {コンピュータソフトウェア},
  year = 2006,
}

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

@inproceedings{CTT100596927,
  author = {Ritsuya Ikeda and Kensuke Narita and Shin-ya Nishizaki},
  title = {Cooperative Approach to Quality and Quantitative Cost Analyses of Distributed Systems},
  booktitle = {Proceedings of the 13th IASTED International Conference on Software Engineering and Application – SEA 2009},
  year = 2009,
}

@inproceedings{CTT100596925,
  author = {Ritsuya Ikeda and Takuya Oohata and Shin-ya Nishizaki},
  title = {Formalization of Broadcast Communication in Process Calculus and Its Model Checking},
  booktitle = {Proceedings of the 4th International Conference on Software and Data Technologies},
  year = 2009,
}

@inproceedings{CTT100596928,
  author = {池田立野 and 西崎真也},
  title = {Spice計算へのブロードキャスト通信の拡張},
  booktitle = {第５回システム検証の科学技術シンポジウム論文集},
  year = 2008,
}

@inproceedings{CTT100608659,
  author = {池田立野 and 西崎真也},
  title = {Spice 計算へのブロードキャスト通信の拡張},
  booktitle = {第5回システム検証の科学技術シンポジウム予稿集},
  year = 2008,
}

@inproceedings{CTT100596930,
  author = {池田立野 and 西崎真也},
  title = {プロセス計算による定性的コスト解析とネットワークシミュレータによ る定量的コスト解析},
  booktitle = {第４回システム検証の科学技術シ ンポジウム論文集},
  year = 2007,
}

@inproceedings{CTT100596948,
  author = {藤井みづき and 西崎真也 and 池田立野},
  title = {プロセス生成コスト解析するためのプロセス計算},
  booktitle = {日本ソフトウェア科学会第24 回大会論文集},
  year = 2007,
}

@inproceedings{CTT100596949,
  author = {池田立野 and 西崎真也},
  title = {プロセス計算によるコスト解析とネットワークシミュレーションの比較},
  booktitle = {日本ソフトウェア科学会第24 回大会論文集},
  year = 2007,
}

@inproceedings{CTT100608656,
  author = {池田立野 and 西崎真也},
  title = {Spice計算からモデル記述言語Promelaへの変換によるサービス不能攻撃耐性解析},
  booktitle = {第三回システム検証の科学技術シンポジウム予稿集},
  year = 2006,
}

@inproceedings{CTT100608800,
  author = {Daigo Tomioka and Shin-ya NISHIZAKI and Ritsuya Ikeda},
  title = {A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack},
  booktitle = {Software Security - Theories and Systems},
  year = 2004,
}