|
ソフトウェアのセキュリティやプライバシーの尺度として，量的情報流，差分プライバシー等が提案され種々議論されている．本研究課題では主に量的情報流を中心にいくつかの定量的尺度について，それを計算するアルゴリズムや，そのような尺度に基づくソフトウェアの安全性検証手法の開発に取り組んだ．具体的に，復号アルゴリズムの時間攻撃による漏洩量の計算法，XMLデータベースにおけるk-安全性の検査法，#SMTソルバーを用いた量的情報流の計算手法，および文字列データの量的情報流解析の基礎となる認識可能級数および代数的級数に対する計数アルゴリズムの開発と，シミュレーションまたは実装ツールに基づく評価実験を行った．
|
