• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

SOAの健全な発展を支える先進的共通アクセス制御アーキテクチャの研究

研究課題

研究課題/領域番号 21300016
研究種目

基盤研究(B)

配分区分補助金
応募区分一般
研究分野 計算機システム・ネットワーク
研究機関情報セキュリティ大学院大学

研究代表者

田中 英彦  情報セキュリティ大学院大学, 情報セキュリティ研究科, 教授 (60011102)

研究分担者 辻 秀典  情報セキュリティ大学院大学, 情報セキュリティ研究科, 客員准教授 (90398975)
金 美羅  情報セキュリティ大学院大学, 情報セキュリティ研究科, 客員研究員 (60387107)
橋本 正樹  情報セキュリティ大学院大学, 情報セキュリティ研究科, 助教 (10582158)
研究期間 (年度) 2009 – 2011
研究課題ステータス 完了 (2011年度)
配分額 *注記
16,120千円 (直接経費: 12,400千円、間接経費: 3,720千円)
2011年度: 4,810千円 (直接経費: 3,700千円、間接経費: 1,110千円)
2010年度: 6,500千円 (直接経費: 5,000千円、間接経費: 1,500千円)
2009年度: 4,810千円 (直接経費: 3,700千円、間接経費: 1,110千円)
キーワードディペンダブルコンピューティング / アクセス制御 / セキュリティ
研究概要

本研究では、情報システムのアクセス制御をOSによって保護される共通機構で実現するアーキテクチャを開発した。このアーキテクチャは、アクセス制御を厳密且つ安全に行う共通の仕組みを提供することを目的としており、OSとアプリケーションの協調によるアクセス制御機構を実現した上で、その機構の利用を強制化する。提案アーキテクチャの主要な構成要素は、ポリシー記述言語と認可判定機構、アクセス制御機構で、本研究では、Linuxを対象に各種実装と評価実験を行い、その有効性を実証した。

報告書

(4件)
  • 2011 実績報告書   研究成果報告書 ( PDF )
  • 2010 実績報告書
  • 2009 実績報告書
  • 研究成果

    (36件)

すべて 2012 2011 2010 2009 その他

すべて 雑誌論文 (11件) (うち査読あり 11件) 学会発表 (25件)

  • [雑誌論文] 論理プログラミングを基礎とした認可ポリシ記述言語2010

    • 著者名/発表者名
      橋本正樹、金美羅、辻秀典、田中英彦
    • 雑誌名

      情報処理学会論文誌

      巻: Vol.51、No.9 ページ: 1682-1692

    • NAID

      110007970770

    • URL

      http://id.nii.ac.jp/1001/00070341/

    • 関連する報告書
      2011 研究成果報告書 2010 実績報告書
    • 査読あり
  • [雑誌論文] 機密情報共有に有用な情報フロー制御モデルの提案2010

    • 著者名/発表者名
      荒井正人、田中英彦
    • 雑誌名

      情報処理学会論文誌

      巻: Vol.5、No.2 ページ: 635-647

    • NAID

      110007970669

    • URL

      http://id.nii.ac.jp/1001/00067985/

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] 機密情報共有に有用な情報フロー制御モデルの提案2010

    • 著者名/発表者名
      荒井正人, 田中英彦
    • 雑誌名

      情報処理学会論文誌 Vol.51, No.2

      ページ: 635-647

    • NAID

      110007970669

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] 効率的なセキュリティ要求分析手法の提案2009

    • 著者名/発表者名
      大久保隆夫、田中英彦
    • 雑誌名

      情報処理学会論文誌

      巻: Vol.50、No.10 ページ: 2484-2499

    • NAID

      40019547230

    • URL

      http://id.nii.ac.jp/1001/00066497/

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] マルウェア亜種の動的挙動を利用した自動分類手法の提案と実装2009

    • 著者名/発表者名
      堀合啓一、今泉隆文、田中英彦
    • 雑誌名

      情報処理学会論文誌

      巻: Vol.50、No.4 ページ: 1321-1333

    • NAID

      40019551795

    • URL

      http://id.nii.ac.jp/1001/00060496/

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] マルウェア亜種の動的挙動を利用した自動分類手法の提案と実装2009

    • 著者名/発表者名
      堀合啓一, 今泉隆文, 田中英彦
    • 雑誌名

      情報処理学会論文誌 Vol.50, No.4

      ページ: 1321-1333

    • NAID

      40019551795

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] 効率的なセキュリティ要求分析手法の提案2009

    • 著者名/発表者名
      大久保隆夫, 田中英彦
    • 雑誌名

      情報処理学会論文誌 Vol.50, No.10

      ページ: 2484-2499

    • NAID

      40019547230

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] 情報セキュリティ向上に向けたOS研究の動向

    • 著者名/発表者名
      橋本正樹、安藤類央、前田俊行、田中英彦
    • 雑誌名

      情報処理学会論文誌:コンピューティングシステム(ACS)

      巻: Vol.5、No.2 ページ: 51-62

    • NAID

      40019262003

    • URL

      http://id.nii.ac.jp/1001/00081513/

    • 関連する報告書
      2011 実績報告書 2011 研究成果報告書
    • 査読あり
  • [雑誌論文] 特徴データベースを用いない効率的な仮想マシンモニタ検出方式の提案

    • 著者名/発表者名
      宮本久仁男、田中英彦
    • 雑誌名

      情報処理学会論文誌

      巻: Vol.52、No.9 ページ: 2602-2612

    • NAID

      110008608823

    • URL

      http://id.nii.ac.jp/1001/00077492/

    • 関連する報告書
      2011 実績報告書 2011 研究成果報告書
    • 査読あり
  • [雑誌論文] トラフィックパターンを隠すアプリケーションベースVPNの実現方式

    • 著者名/発表者名
      三村守、田中英彦
    • 雑誌名

      情報処理学会論文誌

      巻: Vol.52、No.9 ページ: 2775-2787

    • NAID

      110008608846

    • URL

      http://id.nii.ac.jp/1001/00077515/

    • 関連する報告書
      2011 実績報告書 2011 研究成果報告書
    • 査読あり
  • [雑誌論文] アクタ関係表に基づくセキュリティ要求分析手法(SARM)を用いたスパイラルレビューの提案

    • 著者名/発表者名
      金子朋子、山本修一郎、田中英彦
    • 雑誌名

      情報処理学会論文誌

      巻: Vol.52、No.9 ページ: 2853-2865

    • NAID

      110008608839

    • URL

      http://id.nii.ac.jp/1001/00077508/

    • 関連する報告書
      2011 実績報告書 2011 研究成果報告書
    • 査読あり
  • [学会発表] セキュリティ要求分析手法(SARM)の適用法について2012

    • 著者名/発表者名
      金子朋子、山本修一郎、田中英彦
    • 学会等名
      プロジェクトマネジメント学会、2012年度春季研究発表大会
    • 発表場所
      東洋大学
    • 年月日
      2012-03-15
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 静的解析の強化によるマルウェア自動分類システムの改善2012

    • 著者名/発表者名
      松藤達彦、橋本正樹、堀合啓一、田中英彦
    • 学会等名
      情報処理学会IPSJ SIG研究会、第150回DPS・第56回CSEC研究発表会
    • 発表場所
      横浜市開港記念会館
    • 年月日
      2012-02-29
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Specification of whole model the Security Requirements Analysis Method (SARM)2011

    • 著者名/発表者名
      Tomoko Kaneko, Shuichiro Yamamoto, Hidehiko Tanaka
    • 学会等名
      ProMAC Synposium 2011
    • 発表場所
      Batam Island, Indonesia
    • 年月日
      2011-11-30
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 行動ターゲティング広告におけるプライバシー保護の実現方式についての検討2011

    • 著者名/発表者名
      西村俊介、田中英彦
    • 学会等名
      電子情報通信学会・情報処理学会,第10回情報科学技術フォーラム(FIT2011)
    • 発表場所
      函館大学・函館短期大学
    • 年月日
      2011-09-09
    • 関連する報告書
      2011 実績報告書
  • [学会発表] セキュリティ要求分析を容易にするシステム機能ベースセキュリティパターンの研究2011

    • 著者名/発表者名
      宇野健二、田中英彦
    • 学会等名
      電子情報通信学会・情報処理学会,第10回情報科学技術フォーラム(FIT2011)
    • 発表場所
      函館大学・函館短期大学
    • 年月日
      2011-09-08
    • 関連する報告書
      2011 実績報告書
  • [学会発表] マルウェア動的解析に於ける自動分類手法の研究2011

    • 著者名/発表者名
      畑上英毅、橋本正樹、堀合啓一、田中英彦
    • 学会等名
      第52回コンピュータセキュリティ研究会
    • 発表場所
      関西大学千里山キャンパス
    • 年月日
      2011-03-10
    • 関連する報告書
      2010 実績報告書
  • [学会発表] 電力システムの高度化に対応した通信ネットワークセキュリティの提案2011

    • 著者名/発表者名
      伊藤義治、田中英彦
    • 学会等名
      電子情報通信学会,暗号と情報セキュリティシンポジウム(SCIS)2011
    • 発表場所
      リーガロイヤルホテル小倉
    • 年月日
      2011-01-26
    • 関連する報告書
      2010 実績報告書
  • [学会発表] 鉄道系制御システムのセキュリティ運用設計について2011

    • 著者名/発表者名
      佐々井憲之、田中英彦
    • 学会等名
      電子情報通信学会,暗号と情報セキュリティシンポジウム(SCIS)2011
    • 発表場所
      リーガロイヤルホテル小倉
    • 年月日
      2011-01-26
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Behavior Shaver : An Application Based Layer 3 VPN that Conceals Traffic Patterns Using SCTP2010

    • 著者名/発表者名
      Mamoru Mimura, Hidehiko Tanaka
    • 学会等名
      Second International Workshop on Network Traffic Control, Analysis and Applications
    • 発表場所
      FUKUOKA INSTITUTE OF TECHNOLOGY
    • 年月日
      2010-11-06
    • 関連する報告書
      2010 実績報告書
  • [学会発表] 情報局限による不正アクセス抑止効果に関する一考察2010

    • 著者名/発表者名
      三村守、田中英彦
    • 学会等名
      情報処理学会,コンピュータセキュリティシンポジウム(CSS)2010
    • 発表場所
      岡山コンベンションセンター
    • 年月日
      2010-10-19
    • 関連する報告書
      2010 実績報告書
  • [学会発表] マルウェア解析の効率化手法の検討2010

    • 著者名/発表者名
      山口和晃, 堀合啓一, 田中英彦
    • 学会等名
      情報処理学会創立50周年記念(第72回)全国大会
    • 発表場所
      東京大学
    • 年月日
      2010-03-09
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 漸進的分析によるWeb予約システムのセキュリティ要件作成方法について2010

    • 著者名/発表者名
      武川宏, 田中英彦
    • 学会等名
      情報処理学会創立50周年記念(第72回)全国大会
    • 発表場所
      東京大学
    • 年月日
      2010-03-09
    • 関連する報告書
      2009 実績報告書
  • [学会発表] アクタ関係表に基づくセキュリティ要求分析手法(SARM)の改良提案2010

    • 著者名/発表者名
      金子朋子, 田中英彦
    • 学会等名
      情報処理学会創立50周年記念(第72回)全国大会
    • 発表場所
      東京大学
    • 年月日
      2010-03-09
    • 関連する報告書
      2009 実績報告書
  • [学会発表] ソフトウェアベースのTCBを用いたシステム完全性検証に関する初期的検討2010

    • 著者名/発表者名
      中尾雅幸, 橋本正樹, 宮本久仁男, 田中英彦
    • 学会等名
      電子情報通信学会,暗号と情報セキュリティシンポジウム(SCIS)2010
    • 発表場所
      香川県高松市
    • 年月日
      2010-01-22
    • 関連する報告書
      2009 実績報告書
  • [学会発表] セキュリティに関した相場観の共有について2010

    • 著者名/発表者名
      米津宏太郎, 田中英彦
    • 学会等名
      電子情報通信学会,暗号と情報セキュリティシンポジウム(SCIS)2010
    • 発表場所
      香川県高松市
    • 年月日
      2010-01-20
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Real Hardware Verification by Software for Bootstrap Using TSC2009

    • 著者名/発表者名
      Kunio Miyamoto, Hidehiko Tanaka
    • 学会等名
      the 8th IEEE International Symposium on Dependable, Autonomic & Secure Computing
    • 発表場所
      Chengdu, China
    • 年月日
      2009-12-13
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Reducing Program Environment Misjudgement on VM Detection Using TSC2009

    • 著者名/発表者名
      Kunio Miyamoto, Hidehiko Tanaka
    • 学会等名
      the 2009 IEEE International Symposium on Ubisafe Computing
    • 発表場所
      Chengdu, China
    • 年月日
      2009-12-13
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Policy Description Language for Dynamic Access Control Models2009

    • 著者名/発表者名
      Masaki Hashimoto, Mira Kim, Hidenori Tsuji, Hidehiko Tanaka
    • 学会等名
      The 8th IEEE International Symposium on Dependable Autonomic & Secure Computing
    • 発表場所
      Chengdu, China
    • 年月日
      2009-12-12
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] Policy Description Language for Dynamic Access Control Models2009

    • 著者名/発表者名
      Masaki Hashimoto, Mira Kim, Hidenori Tsuji, Hidehiko Tanaka
    • 学会等名
      the 8th IEEE International Symposium on Dependable, Autonomic & Secure Computing
    • 発表場所
      Chengdu, China
    • 年月日
      2009-12-12
    • 関連する報告書
      2009 実績報告書
  • [学会発表] アクタ関係表に基づくセキュリティ要求分析手法(SARM)の提案2009

    • 著者名/発表者名
      金子朋子, 田中英彦
    • 学会等名
      情報処理学会,コンピュータセキュリティシンポジウム(CSS)2009
    • 発表場所
      富山国際会議場
    • 年月日
      2009-10-27
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Web予約システムのセキュリティ要求分析におけるインクリメンタル的なアプローチについて2009

    • 著者名/発表者名
      武川宏, 田中英彦
    • 学会等名
      情報処理学会,コンピュータセキュリティシンポジウム(CSS)2009
    • 発表場所
      富山国際会議場
    • 年月日
      2009-10-27
    • 関連する報告書
      2009 実績報告書
  • [学会発表] P2Pファイル交換ネットワーク環境におけるマルウェアの検出手法の提案2009

    • 著者名/発表者名
      四本木正男, 堀合啓一, 田中英彦
    • 学会等名
      情報処理学会,コンピュータセキュリティシンポジウム(CSS)2009
    • 発表場所
      富山国際会議場
    • 年月日
      2009-10-27
    • 関連する報告書
      2009 実績報告書
  • [学会発表] マルウェア解析の効率化手法の検討2009

    • 著者名/発表者名
      山口和晃, 堀合啓一, 田中英彦
    • 学会等名
      情報処理学会,コンピュータセキュリティシンポジウム(CSS)2009
    • 発表場所
      富山国際会議場
    • 年月日
      2009-10-24
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 論理型言語を用いたポリシー記述言語の研究2009

    • 著者名/発表者名
      橋本正樹、金美羅、辻秀典、田中英彦
    • 学会等名
      日本ソフトウェア科学会
    • 発表場所
      函館大沼プリンスホテル
    • 年月日
      2009-07-15
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] 論理型言語を用いたポリシー記述言語の研究2009

    • 著者名/発表者名
      橋本正樹, 金美羅, 辻秀典, 田中英彦
    • 学会等名
      日本ソフトウェア科学会,DSW09
    • 発表場所
      函館大沼プリンスホテル
    • 年月日
      2009-07-15
    • 関連する報告書
      2009 実績報告書

URL: 

公開日: 2009-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi