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

A Programming Language That Supports Flexible and Convenient Access Control

Research Project

Project/Area Number 16K00096
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Software
Research InstitutionKyoto University

Principal Investigator

Umatani Seiji  京都大学, 情報学研究科, 助教 (40378831)

Project Period (FY) 2016-04-01 – 2019-03-31
Project Status Completed (Fiscal Year 2018)
Budget Amount *help
¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2018: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2017: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2016: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Keywordsプログラミング言語 / セキュリティ / アクセス制御 / 動的言語 / 静的解析 / アクセス制御論理 / オブジェクト指向言語
Outline of Final Research Achievements

In this research, in order to improve the security of interaction between components in distributed applications, we developed a programming language with flexible and convenient access control mechanisms. In particular, we designed an access control mechanism based on access control logic (ACL) as an extension of Java, an statically-typed object-oriented language, and Lua, a dynamically-typed language, and then implemented their prototypes. Furthermore, we have also developed a static analysis method required to control efficiently access to confidential data in a program written in a dynamically-typed language.

Academic Significance and Societal Importance of the Research Achievements

(1) アクセス制御論理(ACL)を用いることの利点や適切な役割の追求,(2) ACLで表現されたセキュリティ機能を備えた拡張オブジェクト指向言語,(3) (2)で表現されたプログラムのための解析手法,が本研究の主な学術的,社会的意義である.
堅牢なセキュリティの確保が容易ではないと考えられていた領域において,柔軟かつ洗練された計算モ デルに基づいたアクセス制御を導入.キュリティの専門家ではな い一般のプログラマでも,自身のプログラム中の任意のコンポーネントに対しこれまでより簡単にアクセス制御機能を導入し,外部の危険性に対する頑健性を持たせることが可能となった.

Report

(4 results)
  • 2018 Annual Research Report   Final Research Report ( PDF )
  • 2017 Research-status Report
  • 2016 Research-status Report
  • Research Products

    (15 results)

All 2019 2018 2017 2016

All Journal Article (2 results) (of which Peer Reviewed: 2 results,  Open Access: 1 results) Presentation (13 results) (of which Int'l Joint Research: 2 results)

  • [Journal Article] Probabilistic guards: A mechanism for increasing the granularity of work-stealing programs2019

    • Author(s)
      Hiroshi Yoritaka, Ken Matsui, Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani
    • Journal Title

      Parallel Computing

      Volume: 82 Pages: 19-36

    • DOI

      10.1016/j.parco.2018.06.003

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] 規則違反コードの構造を反映した木パタンを用いるコード検査器2016

    • Author(s)
      中村 真也, 鵜川 始陽, 馬谷 誠二
    • Journal Title

      情報処理学会論文誌 プログラミング

      Volume: Vol.9, No.4 Pages: 1-15

    • NAID

      170000148144

    • Related Report
      2016 Research-status Report
    • Peer Reviewed
  • [Presentation] JVM上の動的言語のための抽象解釈の実装2019

    • Author(s)
      馬谷 誠二
    • Organizer
      第60回プログラミング・シンポジウム
    • Related Report
      2018 Annual Research Report
  • [Presentation] JVM上の動的言語のための抽象解釈2018

    • Author(s)
      馬谷 誠二
    • Organizer
      情報処理学会第121回プログラミング研究会
    • Related Report
      2018 Annual Research Report
  • [Presentation] 分割統治型総和の部分的計算結果を効率よく利用する方式の研究2018

    • Author(s)
      佐多 育斗,八杉 昌宏,平石 拓,馬谷 誠二
    • Organizer
      情報処理学会第121回プログラミング研究会
    • Related Report
      2018 Annual Research Report
  • [Presentation] 並列分散フレームワークの耐障害性評価のための通信障害模擬機能2018

    • Author(s)
      西牟禮 亮,八杉 昌宏,平石 拓,馬谷 誠二
    • Organizer
      第20回プログラミングおよびプログラミング言語ワークショップ(PPL2018) (ポスター発表)
    • Related Report
      2017 Research-status Report
  • [Presentation] 階層的グループ化に基づきAndroidアプリの安全性を向上するバイト コード書換えツール2017

    • Author(s)
      馬谷 誠二,藤原 康史,五十嵐 淳
    • Organizer
      日本ソフトウェア科学会第33回大会
    • Place of Presentation
      東京大学本郷キャンパス 工学部2号館4階242教室
    • Year and Date
      2017-09-06
    • Related Report
      2016 Research-status Report
  • [Presentation] データフロー解析結果を付加した構文木に対するパターンマッチによるコード検査2017

    • Author(s)
      谷口 力斗, 馬谷 誠二, 鵜川 始陽
    • Organizer
      第113回情報処理学会プログラミング研究会
    • Place of Presentation
      東京大学本郷キャンパス 工学部2号館4階242教室
    • Year and Date
      2017-03-03
    • Related Report
      2016 Research-status Report
  • [Presentation] アクセス制御機能の組み込まれた拡張オブジェクト指向言語2017

    • Author(s)
      馬谷 誠二
    • Organizer
      第58回プログラミング・シンポジウム
    • Place of Presentation
      静岡県伊東市 ラフォーレ伊東
    • Year and Date
      2017-01-06
    • Related Report
      2016 Research-status Report
  • [Presentation] 優先度ならびに重みを用いたワークスティールフレームワークの性能改善2017

    • Author(s)
      寄高 啓司,八杉 昌宏,平石 拓,馬谷 誠二
    • Organizer
      The 1st. cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2017)
    • Related Report
      2017 Research-status Report 2016 Research-status Report
  • [Presentation] HOPEコンパイラのプロトタイプ実装2017

    • Author(s)
      重本 孝太,八杉 昌宏,平石 拓,馬谷 誠二
    • Organizer
      2017年並列/分散/協調処理に関する『秋田』サマー・ワークショップ (SWoPP2017)
    • Related Report
      2017 Research-status Report
  • [Presentation] 仮想環境を考慮した要求駆動型負荷分散2017

    • Author(s)
      良本 海,八杉 昌宏,平石 拓,馬谷 誠二
    • Organizer
      日本ソフトウェア科学会第34回大会
    • Related Report
      2017 Research-status Report
  • [Presentation] アクセス制御論理に基づくIoT向け分散型アクセス制御フレームワーク2017

    • Author(s)
      五十嵐 琢磨,馬谷 誠二
    • Organizer
      第15回 ディペンダブルシステムワークショップ (DSW 2017)
    • Related Report
      2017 Research-status Report
  • [Presentation] Extending a Work-Stealing Framework with Probabilistic Guards2016

    • Author(s)
      Hiroshi Yoritaka, Ken Matsui, Masahiro Yasugi, Tasuku Hiraishi, and Seiji Umatani
    • Organizer
      Ninth International Workshop on Parallel Programming Models and Systems Software for High-End Computing (P2S2) 2016
    • Place of Presentation
      TUCC (Temple University Center City), Philadelphia, PA USA
    • Related Report
      2016 Research-status Report
    • Int'l Joint Research
  • [Presentation] Evaluation of an MPI-Based Implementation of the Tascell Task-Parallel Language on Massively Parallel Systems2016

    • Author(s)
      Daisuke Muraoka, Masahiro Yasugi, Tasuku Hiraishi, and Seiji Umatani
    • Organizer
      TUCC (Temple University Center City), Philadelphia, PA USA
    • Place of Presentation
      TUCC (Temple University Center City), Philadelphia, PA USA
    • Related Report
      2016 Research-status Report
    • Int'l Joint Research

URL: 

Published: 2016-04-21   Modified: 2020-03-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi