Computationally sound symbolic analysis of security and assistance of redesign for cryptographic protocols

对安全性进行可靠的计算符号分析并协助重新设计密码协议

• 批准号: 21700015
• 负责人: YOSHIDA Maki
• 金额: $ 2.66万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2009
• 资助国家: 日本
• 起止时间: 2009 至 2011
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21700015/
• 关键词: 暗号プロトコル; 安全性; 汎用的結合可能性; 形式的検証; 計算量的に健全; 計算量的健全性; UC安全性; GUC安全性; EUC安全性; Generic model

The purpose of this work is to develop a method to analysis universally composable security of cryptographic protocols and assist redesign insecure protocols.

本工作的目的是开发一种分析加密协议普遍可组合安全性的方法，并帮助重新设计不安全的协议。

项目成果

汎用的結合可能な相互認証に対する記号的識別不可能性を用いた記号的基準

使用符号不可区分性进行普遍组合的相互认证的符号标准

• 发表时间: 2010
• 作者: 鈴木斎輝;吉田真紀;藤原融
• 通讯作者: 藤原融

EUC安全なメッセージ認証のためのmulti-messageプロトコルに対する記号的基準

EUC 安全消息认证的多消息协议的符号标准

• 发表时间: 2011
• 作者: 鈴木斎輝;吉田真紀;藤原融
• 通讯作者: 藤原融

評価者間類似度計算の改善による汚染コンテンツダウンロード抑制効果向上

通过改进评分者间相似度计算，提高抑制污染内容下载的效果

• 发表时间: 2010
• 期刊: 情報処理学会論文誌
• 作者: 山中広明;岡村真吾;藤原融;吉田真紀;石原靖哲;秋山豊和;加藤精一;下條真司
• 通讯作者: 下條真司

画質劣化を抑えた加法と乗法のハイブリッド電子透かし

使用加法和乘法方法的混合数字水印可抑制图像质量恶化

• 发表时间: 2012
• 作者: 池田成吾;吉田真紀;藤原融
• 通讯作者: 藤原融

Generic Construction of GUC Secure Commitment Protocol in the PKI Model

PKI模型中GUC安全承诺协议的通用构建

• 发表时间: 2012
• 作者: 鈴木斎輝;吉田真紀;藤原融
• 通讯作者: 藤原融