A Method of Declassifiers Placement in Information Flow Analysis

• KUWABARA Hiroaki

  Department of Computer Science, Ritsumeikan University

• KUNIEDA Yoshitoshi

  Department of Computer Science, Ritsumeikan University

Bibliographic Information

Other Title

• 情報流解析におけるDeclassifierの配置手法

Abstract

In this paper, we propose a method to produce suggestions of declassifiers placement for correcting type errors in information flow analysis. Though the declassification is a useful method to resolve illegal information flow, it can be a difficult and time-consuming task to manually place declassifiers. By our method, developers only need to select a declassifiers placement from suggestions for correcting errors. We proved that produced suggestions can resolve type errors and at least one suggestion can be produced, and implemented our proposed method as a prototype tool.

Journal

• Computer Software

  Computer Software 32 (1), 1_136-1_146, 2015

  Japan Society for Software Science and Technology

Details

• CRID: 1390282679715357696
• NII Article ID: 130004892314
• DOI: 10.11309/jssst.32.1_136
• ISSN: 02896540
• Text Lang: ja
• Data Source:
  • JaLC
  • CiNii Articles
  • KAKEN
• Abstract License Flag: Disallowed