Formally Modeling the Terrapin Attack on SSH
该论文针对 SSH 通道完整性,提出一个在“部分选定状态”(partially chosen state)下形式化建模的框架,以回答 Terrapin 攻击(USENIX Security 2024)留下的开放问题:在 Terrapin 攻
共收录 9 条相关情报。
← 返回所有主题该论文针对 SSH 通道完整性,提出一个在“部分选定状态”(partially chosen state)下形式化建模的框架,以回答 Terrapin 攻击(USENIX Security 2024)留下的开放问题:在 Terrapin 攻
该论文揭示了 SSH 协议在通道复用场景下存在一个此前未被发现的压缩侧信道漏洞。SSH 是服务器远程安全管理的标准协议,其传输层使用二进制包协议(BPP)进行加密和认证,而连接协议则在单一连接上复用多个逻辑通道,用于交互式 shell、端口
该论文针对后量子密码迁移背景下 SSH 协议的用户认证环节提出了一种基于 KEM(密钥封装机制)的替代方案。当前 SSH 的后量子迁移主要聚焦于密钥交换(已在 OpenSSH 中部署并进入标准化流程),而用户认证仍主要依赖后量子签名,这带来
该论文研究了如何通过提示设计与监督微调来改进基于本地 LLM 的 SSH 蜜罐的 shell 模拟准确性。研究背景是:现有 LLM 蜜罐通常依赖闭源云模型(如 GPT-3.5)以获得高度真实的 shell 交互体验,但云模型带来部署层面的问
SSH(安全外壳协议)是远程系统管理的核心协议,但基于密码的认证方式使其面临大规模暴力破解、字典攻击和凭证填充攻击的威胁。传统基于规则的防御措施如Fail2Ban难以检测缓慢、分布式或自适应阈值的攻击者,而传统的账户恢复机制(如电子邮件链接
本文研究了SSH蜜罐中非交互式攻击的普遍性。传统蜜罐设计假设攻击者会登录、打开shell并输入命令,但作者通过部署11个同时支持交互式和非交互式会话的SSH蜜罐,在15天内收集了177,622个认证会话,并使用独立的Cowrie数据集进行验
该论文研究了SSH协议的通道完整性安全问题。SSH协议广泛用于安全远程登录和文件传输,其核心是经过身份验证的密钥交换和二进制包协议(BPP)来保证通道的机密性和完整性。然而,作者发现当前广泛使用的三种加密模式(如ChaCha20-Poly1
本文提出了一种实用的隐私保护SSH认证方案。传统的SSH认证通常需要服务器验证用户身份,但在这个过程中,服务器会获得用户的一些身份信息(如公钥),这可能导致用户隐私泄露。为了解决这一问题,作者设计了一种基于不经意伪随机函数(OPRF)和零知
该论文对SSH协议进行了全面的后量子密码学安全性分析。SSH是首批升级以抵抗未来量子计算机攻击的互联网安全协议之一,OpenSSH自2022年4月起默认采用“量子(或其他经典)”安全的混合密钥交换。然而,现有文献对SSH抗量子版本的安全性分