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