VITC: 対攻撃耐性コード生成コンパイラ

DOI

書誌事項

タイトル別名
  • VITC: Safe C Code Compilation Against Attacks

抄録

We have developed a type based information flow analysis for C-style pointers and casts with run-time dynamic security level checking, which prevents secret information from leaking to unauthorized observers. C programs can continue their execution safely even after they face memory based security hole attacks such as buffer overflow exploits, since even the failure oblivious behavior caused by attacks is secured by information flow based security.

収録刊行物

詳細情報 詳細情報について

  • CRID
    1390282679713094656
  • NII論文ID
    130004549097
  • DOI
    10.11309/jssst.25.1_180
  • ISSN
    02896540
  • データソース種別
    • JaLC
    • CiNii Articles
  • 抄録ライセンスフラグ
    使用不可

問題の指摘

ページトップへ