Study on Formal Security Model of End-to-End Encryption
Study on Formal Security Model of End-to-End Encryption
端到端加密形式化安全模型研究
批准号：
17K12695
负责人：
YONEYAMA KAZUKI
金额：
$2.58万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2020-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(7)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Verification of LINE Encryption Version 1.0 Using ProVerif
使用 ProVerif 验证 LINE 加密版本 1.0
使用 ProVerif 验证 LINE 加密版本 1.0
DOI：
10.1587/transinf.2018fop0001
发表时间：
2019
期刊：
IEICE Transactions on Information and Systems
影响因子：
0.7
作者：
[Cheng Shi, Kazuki Yoneyama]
通讯作者：
Kazuki Yoneyama
IDベース非同期多者間鍵交換
基于ID的异步多方密钥交换
基于ID的异步多方密钥交换
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[中林 美郷]
通讯作者：
中林 美郷
ICカードとリーダ/ライタ間の認証プロトコルにおける認証再利用と暗号理論的安全性モデルの関係
IC卡与读写器认证协议中认证重用与密码安全模型的关系
IC卡与读写器认证协议中认证重用与密码安全模型的关系
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[岡野 裕樹, 勝野 凌介]
通讯作者：
勝野 凌介
ビジネスチャットにおけるエンドツーエンド暗号化を実現するためのグループメッセージングプロトコルの提案
提出一种群消息协议，以实现商务聊天中的端到端加密
提出一种群消息协议，以实现商务聊天中的端到端加密
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[岡野 裕樹, 小林 鉄太郎, 西巻 陵, 吉田 麗生, 米山 一樹]
通讯作者：
米山 一樹
LINE Encryption Version 1.0のProVerifによる検証
LINE 加密版本 1.0 的 ProVerif 验证
LINE 加密版本 1.0 的 ProVerif 验证
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[師 成, 米山 一樹]
通讯作者：
米山 一樹
共 6 条