暗号技術に基づく関数を用いたプログラムに対する情報フロー解析法の開発

基于密码技术的函数程序信息流分析方法的开发

• 批准号: 16700013
• 负责人: 吉田 真紀
• 金额: $ 2.18万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2004
• 资助国家: 日本
• 起止时间: 2004 至 2005
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16700013/
• 关键词: 情報フロー解析; 暗号技術; 健全性; 情報フロー; 機密度; 情報漏洩; 静的解析

本年度は,暗号技術に基づく関数を用いたプログラムに対する情報フロー解析に関して以下の研究を行った・解析モデルと解析アルゴリズムの評価・拡張新たに標準化され,実装が進んでいる暗号技術を調査し,その性質を現在の解析モデルで表現できるか否かを調査した.具体的には,長期署名の標準規格であるXAdESを調査した.XAdESで用いられている暗号技術はハッシュ関数,ディジタル署名,タイムスタンプである.解析モデルはハッシュ関数とディジタル署名の性質を記述できるようになっている.XAdESで用いられるタイムスタンプはディジタル著名の一種であることが確認できた.よって,昨年度のモデルで表現できることが分かった.また実際に解析モデルに従って記述した.・解析アルゴリズムの健全性の証明昨年度提案した解析アルゴリズムが定義した健全性を満たすことの証明を行った.昨年度提案した解析モデルには多くの暗号技術の性質を反映したため,健全性の定義が従来の定義と異なっている.また,解析アルゴリズムの構成も従来と異なっている.そのため従来の証明テクニックがそのまま使えない.よって今年度は新たに,公理系に基づく証明テクニックを用いて健全性の照明を行った.・情報フロー解析システムの開発昨年度提案した解析アルゴリズムを計算機上に実装し,その性能を実験的に評価した.解析対象のプログラムはXAdESを実装したものである.効率を向上させるため,解析対象のプログラムにおける情報フローを表すオートマトンを簡約化する処理を含めた.その結果,大幅に効率が向上することが確認できた.

今年，我们使用基于密码技术的功能对程序进行了以下有关信息流分析的研究。分析模型和分析算法的评估和扩展。我们研究了正在实施的新标准化加密技术，并研究了它们的性质是否可以在当前的分析模型中表达。具体而言，我们调查了Xades，这是长期签名的标准。 Xades中使用的加密技术是哈希功能，数字签名和时间戳。分析模型旨在描述哈希功能和数字签名的属性。已经确认，Xades中使用的时间戳是一种数字突出。因此，发现它们可以在去年的模型中表达。我们实际上还根据分析模型对它们进行了描述。分析算法的声音证明。去年提出的分析算法已被证明满足了所定义的合理性。去年提出的分析模型反映了许多加密技术的特性，因此，声音的定义与常规定义不同。分析算法的结构也不同于常规的结构。因此，传统的证明技术不能按原样使用。因此，今年，我们新利用基于公理系统的证明技术来照亮声音。 ・开发信息流分析系统去年提出的分析算法是在计算机上实施的，并通过实验评估了其性能。要分析的程序使用Xades实施。为了提高效率，我们包括处理以简化代表要分析程序中信息流的自动机。结果，我们确认效率得到了显着提高。

项目成果

A Method to Ensure Reliability of a Detection Result for Correlation Based Watermarking Detection Schemes

一种确保基于相关性的水印检测方案检测结果可靠性的方法

• 发表时间: 2004
• 期刊: 2004 International Symposium on Information Theory and Its Applications
• 作者: Kunihiro Okamoto;Takayuki Ueno;Maki Yoshida;Toru Fujiwara
• 通讯作者: Toru Fujiwara

Unlinkable Delivery System for Interactive Dramas

互动剧不可链接传输系统

• 发表时间: 2005
• 期刊: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Science E88-A・1
• 作者: Shingo Okamura;Yoshiyuki Konishi;Maki Yoshida;Toru Fujiwara
• 通讯作者: Toru Fujiwara

An Efficient Private and Consistent Data Retrieval Protocol

高效私有且一致的数据检索协议

• 发表时间: 2005
• 期刊: Conference Records of Western European Workshop on Research in Cryptology
• 作者: S.Nakayama;M.Yoshida 他
• 通讯作者: M.Yoshida 他

検索結果の秘匿と一貫性検証を可能とするデータ検索プロトコルの提案

提出一种数据搜索协议，可实现搜索结果的隐藏和一致性验证

• 发表时间: 2005
• 期刊: 2005年暗号と情報セキュリティシンポジウム予稿集 Vol.III
• 作者: 中山 敏;藤原 晶;吉田 真紀;藤原 融
• 通讯作者: 藤原 融

パッチワーク法に対する最適な透かし検出

拼凑方法的最佳水印检测

• 发表时间: 2006
• 期刊: 2006年暗号と情報セキュリティシンポジウム予稿集
• 作者: 藤田 高彬;吉田 真紀;藤原 融
• 通讯作者: 藤原 融