课题基金 / 基金详情

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

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

项目摘要

项目成果

YOSHIDA Maki的其他基金

相似基金

相关文献

中文摘要
翻译
这项工作的目的是开发一种分析密码协议的通用组合安全性的方法，并帮助重新设计不安全的协议。
英文摘要
The purpose of this work is to develop a method to analysis universally composable security of cryptographic protocols and assist redesign insecure protocols.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
汎用的結合可能な相互認証に対する記号的識別不可能性を用いた記号的基準
使用符号不可区分性进行普遍组合的相互认证的符号标准
DOI： --
发表时间： 2010
期刊：
影响因子： --
作者： [鈴木斎輝, 吉田真紀, 藤原融]
通讯作者： 藤原融
EUC安全なメッセージ認証のためのmulti-messageプロトコルに対する記号的基準
EUC 安全消息认证的多消息协议的符号标准
DOI： --
发表时间： 2011
期刊：
影响因子： --
作者： [鈴木斎輝, 吉田真紀, 藤原融]
通讯作者： 藤原融
評価者間類似度計算の改善による汚染コンテンツダウンロード抑制効果向上
通过改进评分者间相似度计算，提高抑制污染内容下载的效果
DOI： --
发表时间： 2010
期刊： 情報処理学会論文誌
影响因子： --
作者： [山中広明, 岡村真吾, 藤原融, 吉田真紀, 石原靖哲, 秋山豊和, 加藤精一, 下條真司]
通讯作者： 下條真司
画質劣化を抑えた加法と乗法のハイブリッド電子透かし
使用加法和乘法方法的混合数字水印可抑制图像质量恶化
DOI： --
发表时间： 2012
期刊：
影响因子： --
作者： [池田成吾, 吉田真紀, 藤原融]
通讯作者： 藤原融
共 28 条
    Development of universally composable long term signatures
    • 批准号：
      18700009
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $2.33万
    • 财政年份：
      2006
    • 负责人：
      YOSHIDA Maki
    • 依托单位：
      Osaka University
    国内基金
    海外基金
    基于CD99靶点CAR-T产品治疗T-ALL/AML的安全性与有效性研究
    • 批准号：
      JCZRLH202600888
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2026
    • 负责人：
    • 依托单位：
      华中科技大学
    基于同源的后量子密码的研究
    • 批准号：
      2026JJ60121
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2026
    • 负责人：
      徐铮
    • 依托单位：
      开元国际数学研究院
    黑磷基相变复合材料构筑及其提升锂电高温性能和安全机制研究
    • 批准号：
      JCZRLH202600669
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2026
    • 负责人：
    • 依托单位：
      武汉工程大学
    全数字化血糖混合闭环的管理系统在院外高血糖毒性缓解治疗中的有效安全性研究
    • 批准号：
      JCZRLH202601077
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2026
    • 负责人：
    • 依托单位：
      华中科技大学