構成員

橋本 正樹 (Masaki Hashimoto)

  • 情報セキュリティ大学院大学
  • 情報セキュリティ研究科 准教授
  • email :: hashimoto at iisec.ac.jp

略歴

2001年、立命館大学文学部人文総合科学インスティテュート卒業。学部在籍時より新規法人の立ち上げに参画し、以降同社にて情報システムの運用管理・監視サービス業務に従事。2007年、情報セキュリティ大学院大学/情報セキュリティ研究科/博士前期課程修了。2010年、同博士後期課程修了。博士(情報学)。2010年より同助教、2014年より同准教授。2014年4月-2015年3月間は、Royal Holloway, University of London, Information Security Groupに訪問学術研究員として滞在。専門はOSセキュリティ。情報処理学会、電子情報通信学会、日本ソフトウェア科学会、IEEE各会員。電子情報通信学会/情報通信システムセキュリティ研究会(ICSS)専門委員、情報処理学会/コンピュータセキュリティ研究会(CSEC)運営委員。

主な研究テーマ

  • 多層防御・不正侵入防御
  • OSセキュリティ・アクセス制御技術

担当科目

  • アルゴリズム基礎
  • オペレーティングシステム
  • セキュアシステム実習
  • ハッキング技術/マルウェア解析
  • セキュリティ技術実践論

主な研究業績

  • 安藤類央, 橋本正樹, 山内利宏: 仮想化技術による安全なファイルアクセスログ外部保存機構, 情報処理学会論文誌, 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. [ pdf ]

論文・口頭発表等一覧

科学研究費補助金による研究課題

  • 2012年04月01日 - 2015年03月31日 科学研究費補助金・基盤 (B)・「次世代情報セキュリティ基盤を実現するOS強化に向けた資源アクセス制御方式」 (研究代表者:田中英彦) の研究分担者
  • 2010年04月01日 - 2012年03月31日 科学研究費補助金・基盤 (B)・「SOAの健全な発展を支える共通アクセス制御アーキテクチャの研究」 (研究代表者:田中英彦) の研究分担者
  • 2009年04月01日 - 2010年03月31日 科学研究費補助金・基盤 (B)・「SOAの健全な発展を支える共通アクセス制御アーキテクチャの研究」 (研究代表者:田中英彦) の研究補助員
  • 2005年04月01日 - 2008年03月31日 科学研究費補助金・基盤 (B)・「複数OSの連携と上位層機能の取り込みによるOSのセキュリティ基盤強化方式」 (研究代表者:田中英彦) の研究補助員

関連ページ

index