LINE Encryption Version 1.0のProVerifによる検証
LINE Encryption Version 1.0のProVerifによる検証
复制标题
LINE 加密版本 1.0 的 ProVerif 验证
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
米山 一樹
中科院分区：
文献类型：
--
作者：
師 成;米山 一樹
Alice 和 Bob，他们的 FOCI 是谁？：LINE 消息应用程序中端到端加密的分析
DOI：
--
发表时间：
2017
期刊：
FOCI @ USENIX Security Symposium
影响因子：
--
作者：
Antonio M. Espinoza;William J. Tolley;Jedidiah R. Crandall;Masashi Crete;Andrew Hilts
通讯作者：
Andrew Hilts