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

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

• 批准号: 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 的实现。效率为了改进这一点，我们加入了一个流程来简化代表正在分析的程序中的信息流的自动机。因此，我们能够确认效率得到了显着提高。

项目成果

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
• 作者: 中山 敏;藤原 晶;吉田 真紀;藤原 融
• 通讯作者: 藤原 融

A Watermark Detection Scheme Ensuring the False Positive Error Probability

一种确保误报概率的水印检测方案

• 发表时间: 2005
• 期刊: Conference Records of Western European Workshop on Research in Cryptology
• 作者: T.Fujita;K.Okamoto;M.Yoshida;T.Fujiwara
• 通讯作者: T.Fujiwara