セキュアソフトウェア開発環境DFITSにおけるセキュリティに注目したデータフロー解析

摘要

我々は，セキュリティプロセッサの提供する保護·非保護メモリ機構を用いてメモリ上の情報の漏洩·改ざんを防ぐソフトウェアの開発環境DFITSを提案した．本稿では，ソースコード中の変数を保護·非保護いずれのメモリに割り付けるかをデータフローの静的解析により判断するDFITSシステムの設計および試作について報告する．また，実用プログラムに対して試作したシステムを適用し，有効性を確認する．