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

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

• 批准号: 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を実装したものである.効率を向上させるため,解析対象のプログラムにおける情報フローを表すオートマトンを簡約化する処理を含めた.その結果,大幅に効率が向上することが確認できた.

This year, the following research was carried out on the use of basic information technology, analysis, evaluation, standardization, implementation, and analysis of current information technology. Specific, long-term signature of the standard specifications, XAdES investigation.XAdES is used in the middle of the code technology, the number of signatures, the number of signatures. Analysis of the number of letters in the signature of the letter.XAdES is used to identify the number of letters in the signature. The performance of the previous year was very good. Description of the problem The analysis of the integrity of the proposal yesterday, the analysis of the integrity of the proposal to conduct Yesterday's proposal was based on the analysis of the nature of many secret technologies, the definition of soundness and the definition of diversity. In addition, the analysis of the composition of the system is also carried out. The proof is that there is no such thing as a secret. This year's new, axiomatic system is based on proof of soundness of illumination. Information analysis system development yesterday's proposal analysis system implementation on the computer, the performance of the system evaluation XAdES is the most important tool for analyzing images. The analysis of the image is based on the analysis of the image. The result is that the rate of increase is significantly higher than that of decrease.

项目成果

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

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

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

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

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 他

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