VITC: 対攻撃耐性コード生成コンパイラ
書誌事項
- タイトル別名
-
- 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.
収録刊行物
-
- コンピュータ ソフトウェア
-
コンピュータ ソフトウェア 25 (1), 180-185, 2008
日本ソフトウェア科学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390282679713094656
-
- NII論文ID
- 130004549097
-
- ISSN
- 02896540
-
- データソース種別
-
- JaLC
- CiNii Articles
-
- 抄録ライセンスフラグ
- 使用不可