2010 Fiscal Year Final Research Report
Automatic Analys is and Generation Methods for Language-based Access Control
| Project/Area Number |
20500034
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Nara Institute of Science and Technology |
|---|
Principal Investigator |
SEKI Hiroyuki Nara Institute of Science and Technology, 情報科学研究科, 教授 (80196948)
|
|---|
| Co-Investigator(Renkei-kenkyūsha) |
TAKATA Yoshiaki 高知工科大学, 工学部, 准教授 (60294279)
|
|---|
| Project Period (FY) |
2008 – 2010
|
| Keywords | アクセス制御 / 情報流解析 / セキュリティ / 実行履歴 / スタック検査 / 自動生成 / 静的解析 |
|---|
| Research Abstract |
We defined the automatic generation problem as the one to insert access check commands into a given recursive program so that the program satisfies a given security specification. First, the problem was shown to be co NP-hard. Next, we proposed an algorithm solving the automatic generation problem based on PDS model checking. We also showed that the proposed algorithm works efficiently for sample programs based on the experiments conducted on the automatic generation tool.
|
