例外処理付きオブジェクト指向言語における情報流の安全性解析  [in Japanese] Security Analysis of Information Flow for an Object-Oriented Language with Exception Handling  [in Japanese]

Search this Article

Author(s)

Abstract

本稿では,例外処理を含むオブジェクト指向プログラムから機密度の高いデータが外部へ漏洩しないことを検証する型システムを提案する.本型システムは,例外処理を含まないオブジェクト指向プログラムに対する従来の型システム[4]を拡張し,例外処理による制御フローを考慮した情報流解析を行えるようにしたものである.この型システムが安全性に対して健全であること,すなわち型付けできるプログラムは安全であることを示す.

In this paper, we propose a type system for verifying that secret data don't leak from an object-oriented program with exception handling. Our type system is an extention of the type system [4] which is for a object-oriented language without exception handling. It analyzes information flow taking into account the control flow caused by the exception handling. We show that our type system is sound, that is, all well-typed programs are secure from data leakage.

Journal

  • IEICE technical report

    IEICE technical report 106(324), 13-18, 2006-10-19

    The Institute of Electronics, Information and Communication Engineers

References:  6

Codes

  • NII Article ID (NAID)
    110004851224
  • NII NACSIS-CAT ID (NCID)
    AN10013287
  • Text Lang
    JPN
  • Article Type
    ART
  • ISSN
    09135685
  • NDL Article ID
    8539145
  • NDL Source Classification
    ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
  • NDL Call No.
    Z16-940
  • Data Source
    CJP  NDL  NII-ELS 
Page Top