【研究分野】計算機システム・ネットワーク

【研究領域課題番号】24300029 (KAKENデータベースで見る）

【研究キーワード】

クラウド / セキュリティ / セキュリティポリシー / ISMS / マルチクラウド / SAML / セキュリティポリシｰ / セキュリティポリシ / ＩＳＭＳ / サービス構築基盤技術

【研究成果の概要】

ハイブリッドクラウドにおける動的セキュリティ検知・調停制御技術に対し、計画に基づき推進し、当初目標を達成した。動的セキュリティ検知では、場のリスクを計算するセキュリティ場の基本理論構築ならびにプロトタイプを開発した。異種ネットワーク間のセキュリティポリシーでは、ポリシーを陽に表現するサービスモデルを新たに提案しLoAエレベーションを加えた基盤のプロトタイプを構築した。最適データ配置では、秘密分散を用いた分散データ管理を提案し、パブリッククラウドのみの最適組み合わせによりプライベートクラウドより廉価な構成となることを示した。これらは、論文発表するとともに成果論文集を発行し関係機関に広く周知した。

【研究種目】基盤研究(B)

【研究期間】2012-04-01 - 2015-03-31

【配分額】18,330千円 (直接経費: 14,100千円、間接経費: 4,230千円)

【研究分野】ソフトウエア

【研究領域課題番号】21300006 (KAKENデータベースで見る）

【研究キーワード】

横断的関心事 / アスペクト指向 / 文脈指向 / セキュリティ / 意味論 / 型安全性 / プログラミング言語 / モジュール性 / 最適化 / アスペクト指向プログラミング / セキュリティーポリシー / イベント駆動 / 文脈指向プログラミング / モジュール化 / EventCJ / ContextJ / セキュリティポリシー / AspectJ / 分散ソフトウェア

【研究成果の概要】

横断的関心事や環境に適応した振舞をモジュール化するアスペクト指向プログラミング・文脈指向プログラミング言語に関して、基礎的な計算体系の構築・型システムの改良による記述力の向上・セキュリティ応用のための言語提案・事象に基づく制御機構を持った言語提案による応用範囲の拡大といった研究を行った。これらの提案はJava,AspectJを拡張した言語処理系を作成し、実際のアプリケーショプログラム記述を通して有効性を検証している。

【研究種目】基盤研究(B)

【研究期間】2009 - 2012

【配分額】12,350千円 (直接経費: 9,500千円、間接経費: 2,850千円)

【研究分野】ソフトウエア

【研究領域課題番号】19300005 (KAKENデータベースで見る）

【研究キーワード】

セキュアOS / アクセス制御 / ポリシー記述 / オペレーティングシステム / セキュリティ / セキュリティポリシー / ファイルシステム

【研究成果の概要】

本研究では,オペレーティングシステムにおけるセキュリティ・ポリシー記述の容易化を目指して,カーネルレベルで動作する新しいアクセス制御機構に関する研究を行った.ポリシーの記述方式としてフェーズやクラス階層に基づく方式について研究し,それに基づくアクセス制御を実施する保護機構の研究開発を行った.その結果,直感的なポリシー記述が可能になったほか,ポリシーの記述量を大幅に削減できることが分かった.

【研究種目】基盤研究(B)

【研究期間】2007 - 2009

【配分額】17,810千円 (直接経費: 13,700千円、間接経費: 4,110千円)