A Programming Language That Supports Flexible and Convenient Access Control

2018 Fiscal Year Final Research Report

• Project/Area Number: 16K00096
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Research Field: Software
• Research Institution: Kyoto University
• Principal Investigator: Umatani Seiji 京都大学, 情報学研究科, 助教 (40378831)
• Project Period (FY): 2016-04-01 – 2019-03-31
• 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.

Free Research Field

計算機ソフトウェア

Academic Significance and Societal Importance of the Research Achievements

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