首页    期刊浏览 2024年11月08日 星期五
登录注册

文章基本信息

  • 标题:VITC: 対攻撃耐性コード生成コンパイラ
  • 本地全文:下载
  • 作者:古瀬 淳 ; 米澤 明憲
  • 期刊名称:コンピュータ ソフトウェア
  • 印刷版ISSN:0289-6540
  • 出版年度:2008
  • 卷号:25
  • 期号:1
  • 页码:1_180-1_185
  • DOI:10.11309/jssst.25.1_180
  • 出版社:Japan Society for Software Science and Technology
  • 摘要:

    C言語プログラムでのメモリ脆弱性攻撃などによって生ずる機密情報漏洩を防ぐため,我々はC言語のメモリ安全化コンパイル技術を仮定した上で,その情報流解析手法を提案する.Cのメモリ安全化コンパイルにおけるエラー忘却型計算では,メモリ脆弱性攻撃を受けた際のプログラムの脆弱性回避を自動的に行うが,我々の情報流解析による安全性は,このエラー忘却型計算の「不安定な挙動」をも安全化できる.これにより,我々のCのコンパイル技術VITCではメモリ脆弱性攻撃を受けた後にも一定の安全性の下でプログラムの継続実行を行うことができる.

国家哲学社会科学文献中心版权所有