A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer
复制标题
IETF QUIC 记录层的安全模型和经过充分验证的实现
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Zhou, Yi
中科院分区：
文献类型：
--
作者：
Delignat-Lavaud, Antoine;Fournet, Cédric;Parno, Bryan;Protzenko, Jonathan;Ramananandro, Tahina;Bosamiya, Jay;Lallemand, Joseph;Rakotonirina, Itsaka;Zhou, Yi
登录
查看更多内容
QUIC 的版本无关属性
DOI：
--
发表时间：
2019
期刊：
Request for Comments
影响因子：
--
作者：
M. Thomson
通讯作者：
M. Thomson
稳健的通道：处理 QUIC 和 DTLS 1.3 记录层中的不可靠网络
DOI：
--
发表时间：
2024
期刊：
IACR Cryptology ePrint Archive
影响因子：
--
作者：
M. Fischlin;Felix Günther;Christian Janson
通讯作者：
Christian Janson
EverParse：经过验证的安全零拷贝解析器，用于经过身份验证的消息格式
DOI：
--
发表时间：
2019
期刊：
USENIX Security Symposium
影响因子：
--
作者：
A. Shukla;Rajeev Srivastava
通讯作者：
Rajeev Srivastava
DOI：
10.1145/2660267.2660308
发表时间：
2014-11
期刊：
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security
影响因子：
--
作者：
M. Fischlin;Felix Günther
通讯作者：
M. Fischlin;Felix Günther
简化基于游戏的定义：从不可区分性到正确性及其在状态 AE 中的应用
DOI：
10.1007/2f978-3-319-96881-0_1
发表时间：
2019
期刊：
Advances in Crytology -- CRYPTO 2018
影响因子：
--
作者：
Rogaway, Phillip;Zhang, Yusi
通讯作者：
Zhang, Yusi