课题基金 / 基金详情

Computer-based Evaluation of Cryptographic Protocol Security

Computer-based Evaluation of Cryptographic Protocol Security
基于计算机的密码协议安全性评估
批准号：
26730067
负责人：
ARAI Kenichi
金额：
$1.25万
依托单位：
Nagasaki University (2015-2016)Tokyo University of Science (2014)
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-04-01 至 2017-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-26730067/
关键词：
暗号プロトコル安全性フォーマルメソッド自動検証自動証明ProVerifMizarCryptoVerif

项目摘要

项目成果

ARAI Kenichi的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Formal Verification of Improved Numeric Comparison Protocol for Secure Simple Paring in Bluetooth Using ProVerif
使用 ProVerif 对蓝牙中安全简单配对的改进数字比较协议进行形式验证
DOI： --
发表时间： 2014
期刊：
影响因子： --
作者： [Kenichi Arai, Toshinobu Kaneko]
通讯作者： Toshinobu Kaneko
Difference of Function on Vector Space over F
F 上向量空间函数的差分
DOI： 10.2478/forma-2014-0027
发表时间： 2014
期刊： Formalized Mathematics
影响因子： 0.3
作者： [Kenichi Arai, Ken Wakabayashi, Hiroyuki Okazaki]
通讯作者： Hiroyuki Okazaki
ProVerifによるTLS1.3ハンドシェイクプロトコルの形式検証（その2）
使用 ProVerif 对 TLS1.3 握手协议进行形式化验证（第 2 部分）
DOI： --
发表时间： 2016
期刊：
影响因子： --
作者： [荒井　研一, 徳重　佑樹, 櫻田　英樹]
通讯作者： 櫻田　英樹
ProVerifによるTLS1.3ハンドシェイクプロトコルの形式検証
使用 ProVerif 对 TLS1.3 握手协议进行形式化验证
DOI： --
发表时间： 2016
期刊：
影响因子： --
作者： [三改木 裕矢, 高橋 翔, 小川 貴弘, 長谷山 美紀, 荒井　研一]
通讯作者： 荒井　研一
共 10 条
    On-demand barrier-free street view system
    • 批准号：
      18K11267
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.66万
    • 财政年份：
      2018
    • 负责人：
      ARAI Kenichi
    • 依托单位：
      Nagasaki University
    The changes of thermal perception in patients with cold allodynia
    • 批准号：
      22591752
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.91万
    • 财政年份：
      2010
    • 负责人：
      ARAI Kenichi
    • 依托单位：
      Aichi Medical University
    Complex of Branched Cyclodextrin and Lidocain Prolonged the Duration of Peripheral Nerve Block
    • 批准号：
      18591731
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.48万
    • 财政年份：
      2006
    • 负责人：
      ARAI Kenichi
    • 依托单位：
      Aichi Medical University
    Domain refinement technique for very thin silicon steel sheets
    • 批准号：
      06555088
    • 项目类别：
      Grant-in-Aid for Developmental Scientific Research (B)
    • 资助金额：
      $9.22万
    • 财政年份：
      1994
    • 负责人：
      ARAI Kenichi
    • 依托单位：
      Tohoku University
    国内基金
    海外基金
    基于CD99靶点CAR-T产品治疗T-ALL/AML的安全性与有效性研究
    • 批准号：
      JCZRLH202600888
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2026
    • 负责人：
    • 依托单位：
      华中科技大学
    基于同源的后量子密码的研究
    • 批准号：
      2026JJ60121
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2026
    • 负责人：
      徐铮
    • 依托单位：
      开元国际数学研究院
    黑磷基相变复合材料构筑及其提升锂电高温性能和安全机制研究
    • 批准号：
      JCZRLH202600669
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2026
    • 负责人：
    • 依托单位：
      武汉工程大学
    全数字化血糖混合闭环的管理系统在院外高血糖毒性缓解治疗中的有效安全性研究
    • 批准号：
      JCZRLH202601077
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2026
    • 负责人：
    • 依托单位：
      华中科技大学