研究者
J-GLOBAL ID：200901007139546566
更新日: 2023年08月30日
永藤 直行
Nagatou Naoyuki
研究分野 (1件)：
ソフトウェア
競争的資金等の研究課題 (2件)：
-
-
論文 (9件)：
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. 2015. 22. 4. 494-508
Naoyuki Nagatou, Takuo Watanabe. A model-checking based approach to robustness analysis of procedures under human-made faults. Lecture Notes in Business Information Processing. 2014. 181. 117-131
永藤 直行, 渡部 卓雄. ヒューマンエラーに対する手順書の耐性検査 (知能ソフトウェア工学). 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報. 2013. 113. 71. 61-66
Naoyuki Nagatou. Revisiting Enforceable Security Policies. CRISIS: 2008 THIRD INTERNATIONAL CONFERENCE ON RISKS AND SECURITY OF INTERNET AND SYSTEMS, PROCEEDINGS. 2008. 227-234
Naoyuki Nagatou, Takuo Watanabe. Run-time detection of covert channels. FIRST INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS. 2006. 577-+
もっと見る
MISC (4件)：
永藤 直行, 渡部 卓雄. 人為的欠陥の意味と耐性解析. 日本ソフトウェア科学会大会論文集. 2013. 30. 633-640
永藤直行, 渡部卓雄. 不干渉性の強制について. 情報処理学会研究報告. CSEC, [コンピュータセキュリティ]. 2006. 2006. 81. 207-214
永藤直行, 渡部卓雄. 不干渉性の強制について. 電子情報通信学会技術研究報告. SITE, 技術と社会・倫理. 2006. 106. 174. 207-214
渡部 卓雄, 永藤 直行, 山田 聖. ロード時バイナリ変換によるセキュリティ強制方式. 情報処理学会論文誌プログラミング(PRO). 2002. 43. 3. 94-94
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM
