• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

KIM Mira  金 美羅

ORCIDConnect your ORCID iD *help
… Alternative Names

金 美羅  キム ミラ

Less
Researcher Number 60387107
Affiliation (Current) 2025: 情報セキュリティ大学院大学, その他の研究科, 研究員
Affiliation (based on the past Project Information) *help 2011: 情報セキュリティ大学院大学, 情報セキュリティ研究科, 客員研究員
2009: 情報セキュリティ大学院大学, 情報セキュリティ研究科, 研究員
2006 – 2007: 情報セキュリティ大学院大学, 情報セキュリティ研究科, 助教
2005: 情報セキュリティ大学院大学, 情報セキュリティ研究科, 助手
Review Section/Research Field
Except Principal Investigator
Computer system/Network
Keywords
Except Principal Investigator
セキュリティ / Capability / Policy / Security / Distributed System / Operating System / 分散ケイパビリティ / OSセキュリティ / ケーパビリティ / ポリシー … More / 分散システム / オペレーティングシステム / アクセス制御 / ディペンダブルコンピューティング Less
  • Research Projects

    (2 results)
  • Research Products

    (9 results)
  • Co-Researchers

    (3 People)
  •  Advanced access control architecture to support healthy development of SOA

    • Principal Investigator
      TANAKA Hidehiko
    • Project Period (FY)
      2009 – 2011
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Computer system/Network
    • Research Institution
      Institute of Information Security
  •  Cooperation Scheme of Operating Systems that Merges Upper Layer Functions for Endhanced Security Infrastructure

    • Principal Investigator
      TANAKA Hidehiko
    • Project Period (FY)
      2005 – 2007
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Computer system/Network
    • Research Institution
      Institute of Information Security

All 2012 2010 2009 Other

All Journal Article Presentation

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

    • Author(s)
      橋本正樹、金美羅、辻秀典、田中英彦
    • Journal Title

      情報処理学会論文誌

      Volume: Vol.51、No.9 Pages: 1682-1692

    • NAID

      110007970770

    • URL

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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300016
  • [Journal Article] アクタ関係表に基づくセキュリティ要求分析手法(SARM)を用いたスパイラルレビューの提案

    • Author(s)
      金子朋子、山本修一郎、田中英彦
    • Journal Title

      情報処理学会論文誌

      Volume: Vol.52、No.9 Pages: 2853-2865

    • NAID

      110008608839

    • URL

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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300016
  • [Presentation] セキュリティ要求分析手法(SARM)の適用法について2012

    • Author(s)
      金子朋子、山本修一郎、田中英彦
    • Organizer
      プロジェクトマネジメント学会、2012年度春季研究発表大会
    • Place of Presentation
      東洋大学
    • Year and Date
      2012-03-15
    • Data Source
      KAKENHI-PROJECT-21300016
  • [Presentation] アクタ関係表に基づくセキュリティ要求分析手法(SARM)の改良提案2010

    • Author(s)
      金子朋子, 田中英彦
    • Organizer
      情報処理学会創立50周年記念(第72回)全国大会
    • Place of Presentation
      東京大学
    • Year and Date
      2010-03-09
    • Data Source
      KAKENHI-PROJECT-21300016
  • [Presentation] 論理型言語を用いたポリシー記述言語の研究2009

    • Author(s)
      橋本正樹、金美羅、辻秀典、田中英彦
    • Organizer
      日本ソフトウェア科学会
    • Place of Presentation
      函館大沼プリンスホテル
    • Year and Date
      2009-07-15
    • Data Source
      KAKENHI-PROJECT-21300016
  • [Presentation] Policy Description Language for Dynamic Access Control Models2009

    • Author(s)
      Masaki Hashimoto, Mira Kim, Hidenori Tsuji, Hidehiko Tanaka
    • Organizer
      the 8th IEEE International Symposium on Dependable, Autonomic & Secure Computing
    • Place of Presentation
      Chengdu, China
    • Year and Date
      2009-12-12
    • Data Source
      KAKENHI-PROJECT-21300016
  • [Presentation] 論理型言語を用いたポリシー記述言語の研究2009

    • Author(s)
      橋本正樹, 金美羅, 辻秀典, 田中英彦
    • Organizer
      日本ソフトウェア科学会,DSW09
    • Place of Presentation
      函館大沼プリンスホテル
    • Year and Date
      2009-07-15
    • Data Source
      KAKENHI-PROJECT-21300016
  • [Presentation] アクタ関係表に基づくセキュリティ要求分析手法(SARM)の提案2009

    • Author(s)
      金子朋子, 田中英彦
    • Organizer
      情報処理学会,コンピュータセキュリティシンポジウム(CSS)2009
    • Place of Presentation
      富山国際会議場
    • Year and Date
      2009-10-27
    • Data Source
      KAKENHI-PROJECT-21300016
  • [Presentation] Policy Description Language for Dynamic Access Control Models2009

    • Author(s)
      Masaki Hashimoto, Mira Kim, Hidenori Tsuji, Hidehiko Tanaka
    • Organizer
      The 8th IEEE International Symposium on Dependable Autonomic & Secure Computing
    • Place of Presentation
      Chengdu, China
    • Year and Date
      2009-12-12
    • Data Source
      KAKENHI-PROJECT-21300016
  • 1.  TSUJI Hidenori (90398975)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 5 results
  • 2.  TANAKA Hidehiko (60011102)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 9 results
  • 3.  HASHIMOTO Masaki (10582158)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 5 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi