情報処理学会 第75回全国大会講演要旨

Austinらによって提案された動的情報流解析手法は、プログラム中の値などに機密データを識別するセキュリティラベルを付加することで、プログラムの情報流を追跡する。この動的情報流解析手法をJavaScriptエンジンに取り入れた実装例があるが、これはJavaScriptエンジンを直接改造する必要がある。本研究では、JavaScriptコードにセキュリティラベルの保持や伝播などを行うJavaScriptコードを埋め込むことで、Austinらが提案した動的情報流解析手法を取り入れたJavaScriptコードに変換する変換器を実装する。