橋本正樹の論文・口頭発表等一覧

学術論文（査読付）

• 安藤類央, 橋本正樹, 山内利宏: 仮想化技術による安全なファイルアクセスログ外部保存機構, 情報処理学会論文誌, Vol.54, No.2, pp.585-595, Feb. 2013. [ pdf ]
• 原田季栄, 半田哲夫, 橋本正樹, 田中英彦: アプリケーションの実行状況に基づく強制アクセス制御方式, 情報処理学会論文誌, Vol.53, No.9, pp.2130-2147, Sep. 2012. [ pdf ]
• 橋本正樹, 安藤類央, 前田俊行, 田中英彦: 情報セキュリティ向上に向けたOS研究の動向, 情報処理学会論文誌：コンピューティングシステム(ACS), Vol.5, No.2, pp.51-62, Mar. 2012. [ pdf ]
• 橋本正樹, 金美羅, 辻秀典, 田中英彦: 論理プログラミングを基礎とした認可ポリシー記述言語, 情報処理学会論文誌, Vol.51, No.9, pp.1682-1691, Sep. 2010. [ pdf ]

国際会議／口頭発表（査読付）

• Masaki Hashimoto, Mira Kim, Hidenori Tsuji, Hidehiko Tanaka: Policy Description Language for Dynamic Access Control Models, DASC ’09: Proceedings of the 8th IEEE International Symposium on Dependable, Autonomic & Secure Computing, IEEE Computer Society, pp. 37–42, Dec. 2009.
• 橋本正樹, 金美羅, 辻秀典, 田中英彦: 分散システム志向の複数ポリシー統合管理手法に関する研究, コンピュータシステム・シンポジウム論文集, 情報処理学会シンポジウムシリーズ, vol.2008, no.12, 情報処理学会, pp.49-56, 2008.
• 藤澤一樹, 橋本正樹, 宮本久仁男, 金美羅, 辻秀典, 田中英彦: 仮想マシンモニタにおけるデバイスドライバ安全性向上に関する提案, コンピュータシステム・シンポジウム論文集, 情報処理学会シンポジウムシリーズ, vol.2007, no.14, 情報処理学会, pp.31-38, 2007.
• 橋本正樹, 金美羅, 辻秀典, 田中英彦: ポリシーに基づく分散処理向けアクセス制御モデルの初期的検討, コンピュータシステム・シンポジウム論文集, 情報処理学会シンポジウムシリーズ, vol.2007, no.14, 情報処理学会, pp.217-224, 2007.

研究会等口頭発表（査読無）

• 橋本正樹, 滝澤峰利, 高山扶美彦, 辻秀典, 田中英彦: SELinuxポリシ処理系のユーザ空間実装, コンピュータシステム・シンポジウム論文集, 2014, pp.27-35, 2014-11-12.
• 橋本正樹, 滝澤峰利, 高山扶美彦, 辻秀典, 田中英彦: 論理型言語によるSELinux向け認可判定機構の実装と評価, コンピュータセキュリティシンポジウム2014論文集, 2014-2, pp.743-750, 2014-10-15.
• 浦野晃, 橋本正樹, 辻秀典, 田中英彦: アンチ・フォレンジックツールの痕跡検出方式に関する初期的検討, コンピュータセキュリティシンポジウム2013論文集, 2013-4, pp.163-168, 2013-10-14.
• 堀田知宏, 橋本正樹, 辻秀典, 田中英彦: 実運用を考慮した電子メール誤送信対策, 情報処理学会研究報告, Vol.2013, No.50(CSEC60), 情報処理学会, pp.1-8, 2013.
• 唐沢勇輔, 橋本正樹, 辻秀典, 田中英彦: ワンクリック詐欺を防ぐ手法に関する考察, 電子情報通信学会情報セキュリティ研究専門委員会, 2013年暗号と情報セキュリティシンポジウム(SCIS2013), 2F4-2, 2013.
• 仲間政信, 橋本正樹, 辻秀典, 田中英彦: C&Cサーバの振る舞い情報抽出システムの提案, 電子情報通信学会情報セキュリティ研究専門委員会, 2013年暗号と情報セキュリティシンポジウム(SCIS2013), 1D1-5, 2013.
• 松藤達彦, 橋本正樹, 堀合啓一, 田中英彦: 静的解析の強化によるマルウェア自動分類システムの改善, 情報処理学会研究報告:CSEC[コンピュータセキュリティ], Vol.2012, No.10, pp.1-7, 2012.
• 畑上英毅, 橋本正樹, 堀合啓一, 田中英彦: マルウエア動的解析に於ける自動分類手法の研究, 情報処理学会研究報告:CSEC[コンピュータセキュリティ], Vol.2011, No.51, pp.1-7, 2011.
• 中尾雅幸, 橋本正樹, 宮本久仁男, 田中英彦: ソフトウェアベースのTCBを用いたシステム完全性検証に関する初期的検討, 電子情報通信学会情報セキュリティ研究専門委員会, 2010年暗号と情報セキュリティシンポジウム(SCIS2010), 4E2-3, 2010.
• 橋本正樹, 金美羅, 辻秀典, 田中英彦: 論理型言語を用いたポリシー記述言語の研究, 日本ソフトウェア科学会, 第7回ディペンダブルシステムワークショップ（DSW09）, 函館大沼プリンスホテル, 2009.
• 金美羅, 橋本正樹, 辻秀典, 田中英彦: ファイルの自己破壊機能による情報漏えい防止技術の検討, コンピュータセキュリティシンポジウム論文集, 情報処理学会シンポジウムシリーズ, Vol.2008, No.8, 第一分冊, 情報処理学会, pp.115-119, 2008.
• 宮本久仁男, 藤澤一樹, 橋本正樹, 金美羅, 辻秀典, 田中英彦: プログラム実行時に仮想マシン環境での実行を判断するための一方式, コンピュータセキュリティシンポジウム論文集, 情報処理学会シンポジウムシリーズ, vol.2007, no.10, 情報処理学会, pp.549-552, 2007.
• 藤澤一樹, 橋本正樹, 宮本久仁男, 金美羅, 辻秀典, 田中英彦: 仮想マシンモニタにおけるデバイスドライバの安全性向上に関する提案, 情報科学技術フォーラム, FIT2007, 一般講演論文集, 第4分冊, 情報処理学会, pp.53-54, 2007.
• 橋本正樹, 藤澤一樹, 宮本久仁男, 金美羅, 辻秀典, 田中英彦: 分散システムにおけるCapabilityを用いた資源アクセス制御, 情報処理学会研究報告, Vol.2007, No.71(CSEC38), 情報処理学会, pp.393-400, 2007.
• 辻秀典, 橋本正樹, 金美羅, 田中英彦: アプリケーション・プラットフォームとしてのセキュアOSに関する初期的検討, 情報処理学会研究報告, Vol.2007, No.71(CSEC38), 情報処理学会, pp.381-386, 2007.
• 橋本正樹, 金美羅, 辻秀典, 田中英彦: セキュアな分散システム構築のための一検討, コンピュータセキュリティシンポジウム論文集, 情報処理学会シンポジウムシリーズ, vol.2006, no.11, 情報処理学会, pp.435-440, 2006.
• 橋本正樹, 金美羅, 辻秀典, 田中英彦: 分散環境におけるセキュアな資源管理方式に関する研究, 情報科学技術フォーラム, FIT2006, 一般講演論文集, 第4分冊, 情報処理学会, pp.311-312, 2006.

学位論文

• ステートフル・アクセス制御システムの研究, 情報セキュリティ大学院大学情報セキュリティ研究科. (03.2010)

修士論文

• 分散システムにおけるケイパビリティを用いた資源アクセス制御, 情報セキュリティ大学院大学情報セキュリティ研究科. (03.2007)

構成員 - 橋本 正樹 准教授のページに戻る