不久之前,我曾遇到过一个取证案例。当时,其中有一台Linux服务器受到了攻击,攻击者将一个经过修改后的OpenSSH二进制文件加载到了Web服务器的内存中。攻击者可以利用这个修改后的OpenSSH二进制文件作为控制目标系统的后门来使用。我们的客户当时保存了受感染Web服务器的系统快照以及相关的pcap文件,于是我们便想要知道,是否有可能通过内存快照恢复出相关的密钥材料,并解密SSH会话。
在这篇文章中,我们将对OpenSSH进行研究,并提供一些工具来帮助广大研究人员从内存中导出OpenSSH会话密钥,然后结合pcap来对会话内容进行解密和分析。
首先,我们需要了解OpenSSH的基本知识及其工作原理。幸运的是,OpenSSH是开源的,因此我们可以下载其源代码并从中了解其实现细节。虽然RFC文档读起来非常无聊,但其中包含的丰富信息是我们必须要了解的。抽象一点来看,SSH协议包含了下列内容:
一开始,客户端会跟服务器端连接,然后发送协议版本和软件版本信息:SSH-2.0-OpenSSH_8.3。接收到消息之后,服务器端会返回它的协议版本和软件版本。在这个初始协议和软件版本交换完成之后,所有的流量都被封装在SSH帧中。SSH帧主要包含帧的长度、填充长度、Payload数据、填充内容和MAC地址等信息。SSH帧示例如下:
在协商加密算法并生成会话密钥之前,SSH帧将被解密,即使帧被加密,根据算法的不同,帧的某些部分也可能不会被加密。例如,aes256 gcm算法不会加密帧中的4字节长度,但chacha20-poly1305算法则会进行加密。
接下来,客户端将向服务器发送KEX_INIT消息来开始协商会话所需的参数,例如密钥交换和加密算法等等。根据这些算法的顺序,客户端和服务器端都将选择双方都支持的首选算法。在KEX_INIT消息之后,则是多个跟密钥交换相关的消息,用于确定双方所使用的新密钥。这个消息用于告诉通信的双方,一切已经准备就绪,可以开始加密会话了,而之后的数据包都将进行加密。在双方使用新的加密密钥后,客户端将请求用户进行身份验证,并根据服务器上配置的身份验证机制执行基于密码或密钥的身份验证流程。经过身份验证之后,客户端将打开一个会话通道,并根据请求的操作(ssh/sftp/scp等)来通过该通道去请求服务。
恢复会话密钥的之一步是分析OpenSSH源代码并调试现有的OpenSSH二进制文件。我试着自己编译OpenSSH,在某处记录生成的会话密钥,然后附加一个调试器并在程序内存中搜索这些密钥。没错,我成功了!会话的密钥保存在内存堆中,针对源代码的深入研究让我成功找到了负责发送和接收NEWKEYS帧的函数。我发现有一个“ssh”结构体中存储了一个“session?te”结构体,而这个结构体中存储了跟当前SSH会话相关的所有类型的消息,其中包括一个新的密钥结构(包含与加密、MAC和压缩算法相关的消息)。深入分析之后,我们终于找到了“sshenc”结构体,它包含了密码的名称、密钥、IV和块长度。
下面给出的是OpenSSH中关于各个结构体的信息:
下面给出的的是“sshenc”结构体的定义:
实际上,我们很难直接在内存中找出密钥,因为它只是一个随机字节的字符串。但是sshenc(和其他)结构体更加不同,它包含有一些我们可以验证的属性。接下来,我们可以获取程序的整个内存地址空间,并根据这些约束验证每个偏移量。我们可以检查以下属性:
如果我们根据所有这些约束条件进行验证,我们就应该能够可靠地找到sshenc结构体了。于是,我构建了一个用于漏洞验证的PoC脚本【点我获取】,它可以在目标主机上实时运行,而这台主机能够跟目标进程连接并从内存中搜索目标结构体。在这个脚本的帮助下(Python和ptrace),我将能够从一台实时运行的主机中恢复出会话密钥,但是我们如何从系统快照中恢复出会话密钥呢?这里就要介绍Volatility了,Volatility是一款基于Python开发的内存取证框架,而且还允许研究人员开发自定义的插件。经过一番努力之后,我自己编写了一个Volatility 2插件,它将帮助我们分析内存快照,并导出会话密钥。
现在,我们已成功恢复出用于加密和解密流量的会话密钥了。那么下一步,就是解密流量!这里,我开始使用pynids(一个TCP解析库)来对pcap进行分析,我还使用了我们自己开发的dissect.cstruct库来对数据结构进行解析,然后又开发了一个能够解析SSH协议的解析框架。这个解析框架基本上能够以正确的顺序将数据包提供给协议解析器,因此,如果客户机发送2个数据包,而服务器用3个数据包进行响应,则数据包也将以相同的顺序提供给解析器。而这个解析器可以处理OpenSSH支持的几乎所有加密算法。
SSH协议解析过程如下:
解析完成后,我们就能够查看到解密后的SSH会话信息了,其中还包含用户用于身份验证的密码:
扮演者是尚语贤。尚语贤,1994年7月28日出生于四川省,中国内地女演员,毕业于北京电影学院2014年,参演个人首部电影《老炮儿》而进入演艺圈。2015年9月, 《疑犯追踪》(POI)里的Root是黑...
“80后”朱燕娜家住浙江湖州,三个月前,她的造血干细胞和一16岁少年初步匹配成功。身为一位母亲,她十分心疼这个孩子,二次配对成功后便一口答应捐献。为达到标准,朱燕娜努力增肥,高分辨和体检同时进行,短短...
Harold Stark,独立记者,一直致力于研究前沿科技和流行文化的影响。以下是他对于天天范特西游戏的见解: 虎扑8月31日讯 我不是一个真正的体育迷, 这并不意味着我不是个喜爱户外活动的人。 事...
士官和军官的区别(几期士官可以转军官) 考生和家长在填报志愿时发现,报考军校的分数特别高,需要达到一本线以上,有的地区甚至要高出一本线50分以上才有希望,原因是军校毕业是百思特网军官、是干部;而报考...
QQ是以前九零后一代的追忆,如今很多人用QQ显著比之前少了许多 。微信页面简易便捷,近期手机微信发布了微信小程序能够立即登陆QQ,针对有必须的小伙伴们是非常好的挑选。下边是:手机微信QQ微信小程序在哪...
“十三五”时期是全面建成小康社会、实现第一个百年奋斗目标的决胜阶段。面对经济全球化遭遇逆流、新冠肺炎疫情全球蔓延等重大风险挑战,在习近平新时代中国特色社会主义思想科学指引下,商务部门开拓进取、迎难而上...