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
|
| Project Status |
Completed (Fiscal Year 2010)
|
| Budget Amount *help |
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2010: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2009: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2008: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
|
|---|
| 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.
|
Report
(4 results)
Research Products
(27 results)
