論文

• Naoyuki Nagatou, Takuo Watanabe. A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults, International Journal of Industrial Engineering: Theory, Applications and Practice, Vol. 22, No. 4, pp. 494-508, Aug. 2015.  公式リンク  
  
• 永藤 直行. GDBとシステムモデルを用いたソースコード検証器の開発, 情報処理学会論文誌プログラミング（PRO）, 一般社団法人情報処理学会, Vol. 47, No. 11, pp. 1-12, June 2006.

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

• Naoyuki Nagatou, Takuo Watanabe. Robustness Analysis on Human-made Faults in Procedural Manuals, Workshop on Computation: Theory and Practice (WCTP 2013), Theory and Practice of Computation, World Scientific, pp. 79-94, Nov. 2014.
• Naoyuki Nagatou, Takuo Watanabe. A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults, 2nd Asia Pacific Conference on Business Process Management (APBPM 2014), Lecture Notes in Business Information Processing, LNBIP, Springer-Verlag, Vol. 181, pp. 117-131, July 2014.
• NAOYUKI NAGATOU, Takuo Watanabe. Runtime Detection of Covert Channels, 1st International Conference on Availability, Reilability and Security (ARES 2006), IEEE, pp. 577-584, Apr. 2006.  公式リンク  
  
• NAOYUKI NAGATOU, Takuo Watanabe. Execution Monitoring and Information Flow Properties, DSN 2005 Workshop on Dependable Software - Tools and Methods, Supplemental Volume of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), IEEE, pp. 221-227, June 2005.  公式リンク  
  
• Takuo Watanabe, Kiyoshi Yamada, NAOYUKI NAGATOU. Specifying Context-Aware Runtime Security Policies using an Algebraic Policy Specification Language, IASTED International Conference on Software Engineering (SE 2004), ACTA Press, pp. 662-667, Feb. 2004.  公式リンク  
  
• Takuo Watanabe, Kiyoshi Yamada, NAOYUKI NAGATOU. Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances, IEEE Workshop on Software Technologies fo Future Embedded Systems, IEEE Workshop on Software Technologies fo Future Embedded Systems, pp. 65-68, 2003.

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

• 永藤直行, 渡部卓雄. 人的欠陥に対する耐性解析のモデル検証的アプローチ, 第13回ディペンダブルシステムワークショップ(DSW 2015), Dec. 2015.  公式リンク  
  
• 永藤直行, 渡部卓雄. 人為的欠陥の意味と耐性解析, 日本ソフトウェア科学会第30回大会, Sept. 2013.
• 永藤 直行, 渡部 卓雄. ヒューマンエラーに対する手順書の耐性検査 (知能ソフトウェア工学), 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 一般社団法人電子情報通信学会, Vol. 113, No. 71, pp. 61-66, Apr. 2013.
• 永藤 直行, 渡部 卓雄. 不干渉性の強制について, 情報処理学会コンピュータセキュリティ研究会, 電子情報通信学会技術研究報告. SITE, 技術と社会・倫理, 一般社団法人電子情報通信学会, Vol. 106, No. 174, pp. 207-214, June 2006.
• 永藤直行, 渡部卓雄. 移動コードのための機密性強制, 日本ソフトウェア科学会 ディペンダブルシステムワークショップ(DSW '04), pp. 121-130, Feb. 2004.
• 渡部 卓雄, 永藤 直行, 山田 聖. ロード時バイナリ変換によるセキュリティ強制方式, 情報処理学会論文誌プログラミング（PRO）, 一般社団法人情報処理学会, Vol. 43, No. 3, pp. 94-94, Feb. 2002.
• 永藤直行, 渡部卓雄. 移動コードの安全な実行のためのポリシー記述, 日本ソフトウェア科学回 第18回大会論文集(CD-ROM), pp. 7C-3, 2001.
• 渡部 卓雄, 山田 聖, 永藤 直行. コード書換えによるセキュリィポリシーの実行時強制機構, 日本ソフトウェア科学会大会講演論文集, 日本ソフトウェア科学会, Vol. 19, No. 0, pp. 4F2-4F2.
• 永藤 直行, 渡部 卓雄. プログラム解析から得られる情報を用いた実行監視について, 日本ソフトウェア科学会大会講演論文集, 日本ソフトウェア科学会, Vol. 21, No. 0, pp. 67-67.

学位論文

• 強制可能なセキュリティポリシーの特徴に関する研究,  本文,  博士(工学),  東京工業大学,  2006/09/30,   

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