@article{CTT100903086,
  author = {Naoyuki Nagatou and Takuo Watanabe},
  title = {A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults},
  journal = {International Journal of Industrial Engineering: Theory, Applications and Practice},
  year = 2015,
}

@article{CTT100778324,
  author = {永藤 直行},
  title = {GDBとシステムモデルを用いたソースコード検証器の開発},
  journal = {情報処理学会論文誌プログラミング（PRO）},
  year = 2006,
}

@inproceedings{CTT100836165,
  author = {永藤直行 and 渡部卓雄},
  title = {人的欠陥に対する耐性解析のモデル検証的アプローチ},
  booktitle = {},
  year = 2015,
}

@inproceedings{CTT100682082,
  author = {Naoyuki Nagatou and Takuo Watanabe},
  title = {Robustness Analysis on Human-made Faults in Procedural Manuals},
  booktitle = {Theory and Practice of Computation},
  year = 2014,
}

@inproceedings{CTT100682074,
  author = {Naoyuki Nagatou and Takuo Watanabe},
  title = {A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults},
  booktitle = {Lecture Notes in Business Information Processing, LNBIP},
  year = 2014,
}

@inproceedings{CTT100682092,
  author = {永藤直行 and 渡部卓雄},
  title = {人為的欠陥の意味と耐性解析},
  booktitle = {},
  year = 2013,
}

@inproceedings{CTT100778321,
  author = {永藤 直行 and 渡部 卓雄},
  title = {ヒューマンエラーに対する手順書の耐性検査 (知能ソフトウェア工学)},
  booktitle = {電子情報通信学会技術研究報告 = IEICE technical report : 信学技報},
  year = 2013,
}

@inproceedings{CTT100900780,
  author = {永藤 直行 and 渡部 卓雄},
  title = {不干渉性の強制について},
  booktitle = {電子情報通信学会技術研究報告. SITE, 技術と社会・倫理},
  year = 2006,
}

@inproceedings{CTT100406177,
  author = {NAOYUKI NAGATOU and Takuo Watanabe},
  title = {Runtime Detection of Covert Channels},
  booktitle = {},
  year = 2006,
}

@inproceedings{CTT100389585,
  author = {NAOYUKI NAGATOU and Takuo Watanabe},
  title = {Execution Monitoring and Information Flow Properties},
  booktitle = {Supplemental Volume of the 2005 International Conference on Dependable Systems and Networks (DSN 2005)},
  year = 2005,
}

@inproceedings{CTT100497845,
  author = {永藤直行 and 渡部卓雄},
  title = {移動コードのための機密性強制},
  booktitle = {日本ソフトウェア科学会 ディペンダブルシステムワークショップ(DSW '04)},
  year = 2004,
}

@inproceedings{CTT100497844,
  author = {Takuo Watanabe and Kiyoshi Yamada and NAOYUKI NAGATOU},
  title = {Specifying Context-Aware Runtime Security Policies using an Algebraic Policy Specification Language},
  booktitle = {},
  year = 2004,
}

@inproceedings{CTT100497839,
  author = {Takuo Watanabe and Kiyoshi Yamada and NAOYUKI NAGATOU},
  title = {Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances},
  booktitle = {IEEE Workshop on Software Technologies fo Future Embedded Systems},
  year = 2003,
}

@inproceedings{CTT100778328,
  author = {渡部 卓雄 and 永藤 直行 and 山田 聖},
  title = {ロード時バイナリ変換によるセキュリティ強制方式},
  booktitle = {情報処理学会論文誌プログラミング（PRO）},
  year = 2002,
}

@inproceedings{CTT100497829,
  author = {永藤直行 and 渡部卓雄},
  title = {移動コードの安全な実行のためのポリシー記述},
  booktitle = {日本ソフトウェア科学回 第18回大会論文集(CD-ROM)},
  year = 2001,
}

@inproceedings{CTT100778329,
  author = {渡部 卓雄 and 山田 聖 and 永藤 直行},
  title = {コード書換えによるセキュリィポリシーの実行時強制機構},
  booktitle = {日本ソフトウェア科学会大会講演論文集},
  year = ,
}

@inproceedings{CTT100778327,
  author = {永藤 直行 and 渡部 卓雄},
  title = {プログラム解析から得られる情報を用いた実行監視について},
  booktitle = {日本ソフトウェア科学会大会講演論文集},
  year = ,
}

@misc{CTT100725520,
  author = {永藤直行},
  title = {強制可能なセキュリティポリシーの特徴に関する研究},
  year = 2006,
}



@phdthesis{CTT100725520,
  author = {永藤直行},
  title = {強制可能なセキュリティポリシーの特徴に関する研究},
  school = {東京工業大学},
  year = 2006,
}