Formally Modeling the Terrapin Attack on SSH
该论文针对 SSH 通道完整性，提出一个在“部分选定状态”（partially chosen state）下形式化建模的框架，以回答 Terrapin 攻击（USENIX Security 2024）留下的开放问题：在 Terrapin 攻
#AEAD
共收录 3 条相关情报。
← 返回所有主题The Security of ChaCha20-Poly1305 in the Multi-User Setting.
ChaCha20-Poly1305 是一种被广泛部署的认证加密 (AEAD) 方案，实际应用中需要严格的安全界来确定数据量上限与重密钥频率。然而，其形式化安全分析明显落后于 AES-GCM：目前仅有 Procter (2014) 的分析，且
SecDT: A Profile-Based Security Layer for TRDP Communications
该论文提出了 SecDT，一种用于列车实时数据协议（TRDP）通信的轻量级安全层。TRDP 广泛用于铁路车辆（rolling stock），但其原生设计几乎不支持密码学保护。特别是 TRDP 过程数据使用的组播流量配置，用于在车载子系统间交