刷新
{{item.name}}会员
漏洩耐性と緊密な安全性を兼ね揃えた耐量子認証鍵交換の創出とその形式検証
创建防泄漏且高度安全的量子验证认证密钥交换及其形式验证
基本信息
- 批准号：23K11095
- 负责人：
- 金额：$ 2.91万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2023
- 资助国家：日本
- 起止时间：2023-04-01 至 2026-03-31
- 项目状态：未结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
米山 一樹其他文献
task-PIOAフレームワークとBlanchetのフレームワークの証明能力に関する一考察
任务-PIOA框架和Blanchet框架的证明能力研究
- DOI：
- 发表时间：
2007 - 期刊：
- 影响因子：0
- 作者：
米山;一樹;池田光明;米山一樹;太田和夫;Takashi Nishide;花谷嘉一;丹野 翔太郎;佐々木悠;佐藤 玲;Lei Wang;伊藤孝一;國廣昇;牛田芽生恵;Bagus Santoso;奥秋 清次;川合 豊;小関恵梨;Kazuki Yoneyama;駒野 雄一;Bagus Santoso;Haruki Ota;塙 知剛;藤沢匡哉;栗原正純;Yu Sasaki;Yu Sasaki;山口恒太郎;Lopez Hernandez Julio Cesar;Youngran Park;Hyunho Kang;Kazuki Yoneyama;Takashi Nishide;Masayuki Terada;太田和夫;國廣昇;Noboru Kunihiro;米山 一樹;猪股佑介;米山 一樹;花谷 嘉一 - 通讯作者：
花谷 嘉一
LINE Encryption Version 1.0のProVerifによる検証
LINE 加密版本 1.0 的 ProVerif 验证
- DOI：
- 发表时间：
2018 - 期刊：
- 影响因子：0
- 作者：
師 成;米山 一樹 - 通讯作者：
米山 一樹
鍵紛失時における非常ボタン式資金退避手法の再実装
重新实施钥匙丢失时提取资金的紧急按钮方法
- DOI：
- 发表时间：
2023 - 期刊：
- 影响因子：0
- 作者：
八藤後 彬;米山 一樹;松崎なつめ，喜多義弘，福光正幸 - 通讯作者：
松崎なつめ，喜多義弘，福光正幸
ビジネスチャットにおけるエンドツーエンド暗号化を実現するためのグループメッセージングプロトコルの提案
提出一种群消息协议，以实现商务聊天中的端到端加密
- DOI：
- 发表时间：
2018 - 期刊：
- 影响因子：0
- 作者：
岡野 裕樹;小林 鉄太郎;西巻 陵;吉田 麗生;米山 一樹 - 通讯作者：
米山 一樹
TLSへのLogjam攻撃のProVerifによる形式化と検出
使用 ProVerif 形式化并检测 TLS 上的 Logjam 攻击
- DOI：
- 发表时间：
2016 - 期刊：
- 影响因子：0
- 作者：
木村 文哉;吉田 真紀;米山 一樹 - 通讯作者：
米山 一樹
米山 一樹的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('米山 一樹', 18)}}的其他基金
形式記述による暗号プロトコルの自動検証の研究
使用形式化描述的密码协议自动验证研究
- 批准号：
08J11539 - 财政年份：2008
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows