活动介绍

针对MEGA的密钥恢复攻击剖析

立即解锁
发布时间: 2025-08-31 01:39:15 阅读量: 4 订阅数: 15 AIGC
### 针对MEGA的密钥恢复攻击剖析 #### 1. 研究背景与相关工作 在数据安全领域,MEGA平台用户数据的保密性和完整性面临着诸多挑战。此前已有研究对MEGA基础设施进行了详细概述,并探讨了针对平台上用户数据的机密性和完整性的攻击。后续工作虽减少了部分攻击所需的用户交互,但被MEGA的补丁所阻止。本次研究中的攻击从DH的小阶子群攻击以及OpenPGP的密钥覆盖攻击中获取灵感,使用明文检查预言机的方式类似于Bleichenbacher对采用PKCS#1 v1.5编码的RSA的攻击,不过目标是恢复私钥而非明文。 #### 2. 验证过程 为验证攻击的可行性,研究使用了TLS - MitM设置和mitmproxy,以减少与真实MEGA服务器的交互,并使用本地运行的MEGA Web客户端(版本4.21.4)。对Web客户端进行了一项修改,使其在首次手动登录后自动模拟重复的客户端登录尝试。攻击成功恢复了测试用户RSA私钥的任意AES - ECB加密块,查询成本与分析结果一致(首次攻击平均29.30次登录尝试)。还使用格技术实现了在已知四个块的情况下恢复整个RSA私钥的概念验证,代码作为补充材料提供。 #### 3. 漏洞披露 在2022年9月29日,研究团队联系了MEGA,告知其系统中的漏洞,并建议90天的披露期,同时提出了缓解措施,强调为用户主密钥下存储的数据提供适当的加密完整性的重要性。MEGA于2022年9月30日确认收到披露信息,表示将开始修复工作并在部署前与研究团队沟通。2022年11月28日,MEGA称正在加强其客户端软件,包括更改私钥存储方式、移除ECB加密预言机以及替换asmcrypto.js库。研究团队提供了对提议更改的高级反馈。鉴于更改规模,双方同意将披露时间推迟到2023年3月6日,以配合升级后的客户端软件的推出和论文的发表。MEGA还授予了漏洞赏金。 #### 4. 预言机相关内容 ##### 4.1 符号表示 为便于后续描述,定义了一系列符号: - 连接用“∥”表示。 - [m]k表示m在密钥k下的加密,算法由上下文决定。 - B表示字节,|x|B表示x的字节长度,|x|b表示x的比特长度。 - 对于元组X = (x0, ..., xn - 1),|X| = n表示其大小。 - 对于字节串m = b0 ∥b1 ∥... ∥bn - 1,m[s] := bs,m[s : t] := bs ∥... ∥bt - 1(s < t)。 - 空对象用null表示,零字节用00表示。 - ZeroPad(m, n) := 00 ∥00 ∥... ∥m,使|m|B = n。 - B表示目标明文块,|B|b = 128,计算值用B∗表示。 ##### 4.2 ECB加密预言机 MEGA的Web客户端在用户主密钥kM下暴露了一个ECB加密预言机,允许MEGA或控制其基础设施的人在一次查询中以AES - ECB模式对32字节的选定明文进行加密。由于AES - ECB没有额外的完整性保护措施,若没有对明文预期结构的额外测试,攻击者无法区分包含其查询块的密文。 该预言机源于MEGAdrop功能相关代码。MEGAdrop允许任何人在无需MEGA账户的情况下将文件上传到收件人的云存储文件夹。收件人激活MEGAdrop并分享链接,发送者看不到上传文件夹中的文件。 在上传过程中,攻击者可以选择文件密钥kF、随机数NF和文件F。上传功能使用kF和客户端选择的随机数NF对文件进行AES - CCM本地加密。服务器端会将RSA加密的密钥转换为AES加密的密钥。攻击者可以构造特定的加密文件和密钥上传到服务器,Web客户端会对其进行重新加密,恶意服务器因此可以获取AES - ECB的明文 - 密文对。通过mitmproxy测试发现,服务器可以假装上传新文件,即使收件人未使用MEGAdrop且文件路径无效,Web客户端也会重新加密密钥。这就形成了一个高效的ECB加密预言机,无需用户交互,且不会在用户云存储中留下持久痕迹,每次查询可加密32字节,可重复访问。 MEGAdrop相关伪代码如下: ```plaintext MEGAdrop.upload(kF, NF, F, L) 1 : [F]kF , Tcond ←File.enc(kF, NF, F) 2 : kobf F ←ObfKey(kF, NF, Tcond) 3 : pk ←Server.lookup(L) 4 : [kobf F]pk ←RSA.Enc(pk, kobf F ) 5 : Server.upload([F]kF , [kobf F]pk) Webclient.update() 1 : while true do 2 : τ ←Server.fetch update(kM, sk) 3 : if τ ̸= ⊥ then 4 : [F]kF , [kobf F]pk ←τ 5 : kobf F ←RSA.Dec(sk, [kobf F]pk) 6 : [kobf F]kM ←AES-ECB.Enc(kM, kobf F ) 7 : Server.upload([kobf F]kM) 8 : endif 9 : endwhile ``` ##### 4.3 解码和解密错误报告预言机 用户每次登录账户时会进行身份验证和会话ID交换。服务器会响应一个元组([kM]ke , [privk]kM , [m]pk , uh),其中[kM]ke和[privk]kM是AES - ECB加密的,[m]pk是RSA加密的,uh是明文。privk编码了RSA - CRT的私钥sk,m编码了会话ID sid,uh是11字节的用户句柄字符串。 客户端解密[kM]ke后的处理过程如下伪代码所示: ```pla ```
corwn 最低0.47元/天 解锁专栏
赠100次下载
继续阅读 点击查看下一篇
profit 400次 会员资源下载次数
profit 300万+ 优质博客文章
profit 1000万+ 优质下载资源
profit 1000万+ 优质文库回答
复制全文

相关推荐

史东来

安全技术专家
复旦大学计算机硕士,资深安全技术专家,曾在知名的大型科技公司担任安全技术工程师,负责公司整体安全架构设计和实施。
最低0.47元/天 解锁专栏
赠100次下载
百万级 高质量VIP文章无限畅学
千万级 优质资源任意下载
千万级 优质文库回答免费看
立即解锁

专栏目录

最新推荐

自适应复杂网络结构中的同步现象解析

# 自适应复杂网络结构中的同步现象解析 ## 1. 引言 在复杂的动力学网络中,同步现象一直是研究的重点。我们将主稳定性方法拓展到由 $N$ 个扩散且自适应耦合的振荡器组成的复杂网络中。通过对自适应耦合相位振荡器这一典型模型的研究,我们发现了由于稳定性岛屿的存在而导致的多簇现象的出现。接下来,我们将深入探讨相关内容。 ## 2. 自适应耦合振荡器网络模型 考虑一个由 $N$ 个扩散且自适应耦合的振荡器组成的网络,其形式如下: \(\dot{x}_i = f (x_i(t)) - \sigma \sum_{j = 1}^{N} a_{ij} \kappa_{ij} G(x_i - x_j)\

OpenVX:跨平台高效编程的秘诀

### OpenVX:跨平台高效编程的秘诀 #### 1. OpenCL 互操作性扩展 OpenCL 互操作性扩展为 OpenVX 内的应用程序和用户算法提供了高效实现的支持,具备以下六个关键特性: - 共享一个通用的 `cl_context` 对象,供 OpenVX 和 OpenCL 应用程序使用。 - 共享一组有序的 `cl_command_queue` 对象,用于 OpenVX 和 OpenCL 应用程序/用户内核之间的协调。 - 允许 OpenCL 应用程序将 `cl_mem` 缓冲区导出到 OpenVX。 - 允许 OpenCL 应用程序从 OpenVX 收回导出的 `cl_mem

利用大数据进行高效机器学习

### 利用大数据进行高效机器学习 #### 1. 集群管理与并行计算基础 在处理大数据时,集群的使用至关重要。当集群任务完成后,终止其派生的进程能释放每个节点占用的资源,使用如下命令: ```R stopCluster(cl1) ``` 对于大规模的大数据问题,还可以进行更复杂的`snow`配置,例如配置Beowulf集群(由多个消费级机器组成的网络)。在学术和行业研究中,若有专用计算集群,`snow`可借助`Rmpi`包访问高性能消息传递接口(MPI)服务器,但这需要网络配置和计算硬件方面的知识。 #### 2. 使用`foreach`和`doParallel`实现并行计算 `fore

语音情感识别:预加重滤波器与清音影响分析

### 语音情感识别:预加重滤波器与清音影响分析 在语音情感识别领域,多种因素会影响识别的准确性和性能。本文将深入探讨预加重滤波器、清音去除等因素对语音情感分类的影响,并通过一系列实验来揭示不同特征向量大小、帧大小等参数在不同数据库中的表现。 #### 1. 清音去除 在语音情感识别中,通常会使用浊音和清音进行情感识别。然而,清音往往与语音信号记录中的噪声或静音区域具有相似的时间和频谱特征。为了探索去除清音后分类阶段的性能,我们使用自相关函数来去除每一帧中的清音。 具体步骤如下: 1. **自相关函数定义**:对于信号 $x(n)$ 从样本 $n$ 开始的一帧,其短时自相关函数定义为 $

具有多重时滞和不确定参数的CRDNNs的无源性与同步性研究

# 具有多重时滞和不确定参数的 CRDNNs 的无源性与同步性研究 ## 1. 引言 在神经网络的研究领域中,具有多重时滞和不确定参数的连续反应扩散神经网络(CRDNNs)的无源性和同步性是重要的研究课题。无源性能够保证系统的稳定性和能量特性,而同步性则在信息处理、通信等领域有着广泛的应用。本文将深入探讨 CRDNNs 的无源性和同步性相关问题,包括理论分析和数值验证。 ## 2. 无源性判据 ### 2.1 输出严格无源性条件 当满足以下矩阵不等式时,网络(9.17)具有输出严格无源性: \[ \begin{bmatrix} W_6 & \Xi_2 \\ \Xi_2^T & W_7 \e

言语节奏与大脑定时模式:探索神经机制与应用

# 言语节奏与大脑定时模式:探索神经机制与应用 ## 1. 大脑的预测性与时间维度 人类大脑是一个具有建设性的器官,它能够生成预测以调节自身功能,并持续适应动态环境。在这个过程中,运动和非运动行为的时间维度正逐渐被视为预测性偏差的关键组成部分。然而,编码、解码和评估时间信息以产生时间感和控制感觉运动定时的神经机制之间的复杂相互作用,仍然大部分是未知的。 ### 1.1 事件的时间与类型维度 个体和环境中的所有状态变化都会产生由类型(“是什么”)和时间(“何时”)定义的事件。为了成功地与不断变化的环境进行交互,人们需要不断适应这些事件的“是什么”和“何时”维度。人类不仅会对事件做出反应,还会

HNPU-V1:自适应DNN训练处理器的技术解析与性能评估

### HNPU-V1:自适应DNN训练处理器的技术解析与性能评估 在深度学习领域,DNN(深度神经网络)训练处理器的性能对于提高训练效率和降低能耗至关重要。今天我们要介绍的HNPU - V1就是一款具有创新性的自适应DNN训练处理器,它采用了多种先进技术来提升性能。 #### 1. 稀疏性利用技术 在DNN训练过程中,会出现输入或输出稀疏性的情况。传统的输出零预测方法虽然可以同时利用输入和输出稀疏性,但会带来面积和能量开销。而HNPU - V1采用了独特的稀疏性利用技术。 ##### 1.1 切片级输入跳过(Slice - Level Input Skipping) - **原理**:

网络数据上的无监督机器学习

### 网络数据上的无监督机器学习 在处理图数据时,机器学习(ML)并非必需,但它能带来很大的帮助。不过,ML的定义较为模糊,例如社区检测算法虽能自动识别网络中的社区,可被视为无监督ML,但NetworkX提供的一些方法虽类似却未得到数据科学界同等关注,因为它们未被明确称为图ML。 #### 1. 网络科学方法 在处理图数据时,有很多已掌握的方法可避免使用所谓的图ML: - **社区识别**:可以使用Louvain算法或直接查看连通分量。 - **枢纽节点识别**:使用PageRank算法,无需嵌入。 - **孤立节点识别**:使用`k_corona(0)`,无需ML。 - **训练数据创

SSH连接与操作全解析

# SSH 连接与操作全解析 ## 1. SSH 主机密钥概述 当 SSH 客户端首次连接到远程主机时,双方会交换临时公钥,以此对后续通信进行加密,防止信息泄露。客户端在披露更多信息之前,需要确认远程服务器的身份。这是合理的,因为若连接到的是黑客软件,我们肯定不希望泄露用户名和密码。 ### 1.1 公钥基础设施的问题 构建公钥基础设施是解决互联网机器身份验证的一种方法。首先要确定证书颁发机构,将其公钥列表安装到所有浏览器和 SSL 客户端中,然后付费让这些机构验证身份并签署 SSL 证书,最后将证书安装到 Web 服务器上。但从 SSH 的角度看,这种方法存在诸多问题。虽然可以创建内部公

计算机视觉中的概率图模型:不完整数据下的贝叶斯网络学习

# 计算机视觉中的概率图模型:不完整数据下的贝叶斯网络学习 在计算机视觉领域,概率图模型是一种强大的工具,可用于处理复杂的概率关系。当数据不完整时,贝叶斯网络(BN)的参数学习和结构学习变得更具挑战性。本文将介绍不完整数据下BN参数学习和结构学习的方法。 ## 1. 不完整数据下的BN参数学习 在不完整数据中,变量 $Z_m$ 可能随机缺失或始终缺失。与完整数据情况类似,不完整数据下的BN参数学习也可通过最大似然法或贝叶斯法实现。 ### 1.1 最大似然估计 最大似然估计(ML)需要通过最大化边际似然来找到BN参数 $\theta = \{\theta_n\}_{n=1}^N$: $$