Verification and Development Environment of Secure Software using Information Flow Analysis and Type Error Slicing

2014 Fiscal Year Final Research Report

• 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: KUWABARA Hiroaki 立命館大学, 情報理工学部, 助教 (30432222)
• Project Period (FY): 2012-04-01 – 2015-03-31
• 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.

Free Research Field

ソフトウェア工学