Verification and Development Environment of Secure Software using Information Flow Analysis and Type Error Slicing
| Project/Area Number |
24700036
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Multi-year Fund |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Ritsumeikan University |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2012-04-01 – 2015-03-31
|
| Project Status |
Completed (Fiscal Year 2014)
|
| Budget Amount *help |
¥2,730,000 (Direct Cost: ¥2,100,000、Indirect Cost: ¥630,000)
Fiscal Year 2014: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2013: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2012: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
|
|---|
| Keywords | 情報流解析 / 型システム / 型エラースライシング / ソフトウェア開発支援 / ソフトウェア工学 |
|---|
| Outline of Final Research Achievements |
We proved the soundness of type error slicing for information flow analysis and proposed a method of declassifiers placement in information flow analysis. Both type error slicing and declassifiers placement are methods to support development of secure software that do not leak secret information. Moreover, we proposed an improvement of code completion of integrated development environment using editing operation history.
|
Report
(4 results)
Research Products
(10 results)
