情報システムの信頼性を全体として担保するために、OSとその周辺技術を中核としたプログラムの実行基盤に関する基礎技術を研究しています。この領域では、以下のようなテーマに取り組んでいます。

研究テーマとキーワード

• 仮想化技術
• セキュアクライアント
• 分散システム
• 資源アクセス制御
• TPM
• 認可ポリシー記述言語

研究成果

• 安藤類央, 橋本正樹, 山内利宏:
  「仮想化技術による安全なファイルアクセスログ外部保存機構」
  情報処理学会論文誌, Vol.54, No.2, pp.xxxx-xxxx, Feb. 2013. (to be published)
• 原田季栄, 半田哲夫, 橋本正樹, 田中英彦:
  「アプリケーションの実行状況に基づく強制アクセス制御方式」
  情報処理学会論文誌, Vol.53, No.9, pp.2130-2147, Sep. 2012.
  [ pdf ]
• 橋本 正樹, 安藤 類央, 前田 俊行, 田中 英彦:
  「情報セキュリティ向上に向けたOS研究の動向」
  情報処理学会論文誌：コンピューティングシステム(ACS), Vol.5, No.2, pp.51-62 情報処理学会, 2012年.
  [ pdf ]
• 宮本 久仁男, 田中 英彦:
  「特徴データベースを用いない効率的な仮想マシンモニタ検出方式の提案」
  情報処理学会論文誌, Vol.52, No.9, pp.2602-2612, 2011年.
  [ pdf ]
• 橋本 正樹, 金 美羅, 辻 秀典, 田中 英彦:
  「論理プログラミングを基礎とした認可ポリシー記述言語」
  情報処理学会論文誌, Vol.51 No.9, pp.1682-1691, 情報処理学会, 2010年9月.
  [ pdf ]
• Kunio Miyamoto, Hidehiko Tanaka:
  Reducing Program Environment Misjudgement on VM Detection Using TSC,
  UbiSafe-09: Proceedings of the 2009 IEEE International Symposium on Ubisafe Computing, Chengdu, China, IEEE Computer Society, pp. 483–485. (2009)
  [ pdf ]
• Kunio Miyamoto, Hidehiko Tanaka:
  Real Hardware Verification by Software for Bootstrap Using TSC,
  DASC ’09: Proceedings of the 8th IEEE International Symposium on Dependable, Autonomic & Secure Computing, Chengdu, China, IEEE Computer Society, pp. 149–152. (2009)
  [ 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, Chengdu, China, IEEE Computer Society, pp. 37–42. (2009)
  [ pdf ]
• 橋本 正樹, 金 美羅, 辻 秀典, 田中 英彦:
  「論理型言語を用いたポリシー記述言語の研究」
  日本ソフトウェア科学会, 第7回ディペンダブルシステムワークショップ（DSW09）, 函館大沼プリンスホテル, 2009年7月.
  [ pdf ]
• 橋本 正樹, 金 美羅, 辻 秀典, 田中 英彦:
  「分散システム志向の複数ポリシー統合管理手法に関する研究」
  コンピュータシステム・シンポジウム論文集, 情報処理学会シンポジウムシリーズ, vol.2008, no.12, 情報処理学会, pp.49-56. (2008)
  [ pdf ]
• 金 美羅, 橋本 正樹, 辻 秀典, 田中 英彦:
  「ファイルの自己破壊機能による情報漏えい防止技術の検討」
  コンピュータセキュリティシンポジウム論文集, 情報処理学会シンポジウムシリーズ, Vol.2008, No.8, 第一分冊, 情報処理学会, pp.115-119. (2008)
  [ pdf ]
• 藤澤 一樹, 宮本 久仁男, 田中 英彦:
  「デバイスドライバのセキュリティ強化」
  情報処理学会研究報告, Vol.2008, No.45(CSEC41), 情報処理学会, pp.37-42. (2008)
  [ pdf ]
• 橋本 正樹, 金 美羅, 辻 秀典, 田中 英彦:
  「ポリシーに基づく分散処理向けアクセス制御モデルの初期的検討」
  コンピュータシステム・シンポジウム論文集, 情報処理学会シンポジウムシリーズ, vol.2007, no.14, 情報処理学会, pp.217-224. (2007)
  [ pdf ]
• 藤澤 一樹, 橋本 正樹, 宮本 久仁男, 金 美羅, 辻 秀典, 田中 英彦:
  「仮想マシンモニタにおけるデバイスドライバ安全性向上に関する提案」
  コンピュータシステム・シンポジウム論文集, 情報処理学会シンポジウムシリーズ, vol.2007, no.14, 情報処理学会, pp.31-38. (2007)
  [ pdf ]
• 藤澤 一樹, 大久保 隆夫, 田中 英彦:
  「デバイスドライバの脆弱性調査と分析」
  コンピュータセキュリティシンポジウム論文集, 情報処理学会シンポジウムシリーズ, vol.2007, no.10, 情報処理学会, pp.619-624. (2007)
  [ pdf ]
• 宮本 久仁男, 藤澤 一樹, 橋本 正樹, 金 美羅, 辻 秀典, 田中 英彦:
  「プログラム実行時に仮想マシン環境での実行を判断するための一方式」
  コンピュータセキュリティシンポジウム論文集, 情報処理学会シンポジウムシリーズ, vol.2007, no.10, 情報処理学会, pp.549-552. (2007)
  [ pdf ]
• 藤澤 一樹, 橋本 正樹, 宮本 久仁男, 金 美羅, 辻 秀典, 田中 英彦:
  「仮想マシンモニタにおけるデバイスドライバの安全性向上に関する提案」
  情報科学技術フォーラム, FIT2007, 一般講演論文集, 第4分冊, 情報処理学会, pp.53-54. (2007)
  [ pdf ]
• 橋本 正樹, 藤澤 一樹, 宮本 久仁男, 金 美羅, 辻 秀典, 田中英彦:
  「分散システムにおけるCapabilityを用いた資源アクセス制御」
  情報処理学会研究報告, Vol.2007, No.71(CSEC38), 情報処理学会, pp.393-400. (2007)
  [ pdf ]
• 辻 秀典, 橋本 正樹, 金 美羅, 田中 英彦:
  「アプリケーション・プラットフォームとしてのセキュアOSに関する初期的検討」
  情報処理学会研究報告, Vol.2007, No.71(CSEC38), 情報処理学会, pp.381-386. (2007)
  [ pdf ]
• 橋本 正樹, 金 美羅, 辻 秀典, 田中 英彦:
  「セキュアな分散システム構築のための一検討」
  コンピュータセキュリティシンポジウム論文集, 情報処理学会シンポジウムシリーズ, vol.2006, no.11, 情報処理学会, pp.435-440. (2006)
  [ pdf ]
• 橋本 正樹, 金 美羅, 辻 秀典, 田中 英彦:
  「分散環境におけるセキュアな資源管理方式に関する研究」
  情報科学技術フォーラム, FIT2006, 一般講演論文集, 第4分冊, 情報処理学会, pp.311-312. (2006)
  [ pdf ]