From Jwt To The XiangYunCup FunWeb
About JWT
What is JWT
Json Web Token(JWT
)是一个开放标准(RFC 7519),它定义了一种紧凑且自包含的方式,用于在各方之间安全地传输信息作为JSON对象。此信息可以验证和信任,因为它足数字签名的。JWT可以使用密钥(使用 HMAC算法)或便用RSA或 ECDSA 的公钥/私钥对进行签名。
注意:本文的重心并不在介绍JWT上,所以在官方文本的基础上会有一些删减。
如需了解更多,可以访问起官方网站,翻阅对应的文献资料:
JWT format
JWT的格式大致如下:
1 |
|
对于任意JWT令牌,我们可以在jwt.io官网或者其他jwt解码工具查看详细:
Header
JWT头
是一个描述JWT元数据的JSON对象
,alg属性
表示签名使用的算法,默认为HMAC SHA256(写为HS256);typ属性
表示令牌的类型,JWT令牌统一写为JWT。
最后,使用Base64 URL算法将上述JSON对象转换为字符串保存
1 |
|
Payload
有效载荷
部分,是JWT的主体内容部分,也是一个JSON对象
,包含需要传递的数据。
JWT指定七个默认字段供选择:
1 |
|
这些预定义的字段并不要求强制使用。
除以上默认字段外,我们还可以自定义私有字段,一般会把包含用户信息的数据放到payload中,如下例:
1 |
|
Signature
签名哈希部分是对上面两部分数据签名,需要使用base64编码后的header和payload数据,通过指定的算法生成哈希,公式如下:
1 |
|
注意的是,如果header部分中,参数alg置空,则无该部分(我们也称其为Nonsecure JWT
)。
All IN
在计算出签名哈希后,JWT头,有效载荷和签名哈希的三个部分组合成一个字符串,每个部分用.分隔,就构成整个JWT对象
注意JWT每部分的作用,在服务端接收到客户端发送过来的JWT token之后:
- header和payload可以直接利用base64解码出原文,从header中获取哈希签名的算法,从payload中获取有效数据
- signature由于使用了不可逆的加密算法,无法解码出原文,它的作用是校验token有没有被篡改。服务端获取header中的加密算法之后,利用该算法加上secretKey对header、payload进行加密,比对加密后的数据和客户端发送过来的是否一致。注意secretKey只能保存在服务端,而且对于不同的加密算法其含义有所不同,一般对于MD5类型的摘要加密算法,secretKey实际上代表的是盐值
JWT Classification
Nonsecure JWT
header部分中,参数alg置空的JWT。
JWS
JWS
,也就是JWT Signature
,其结构就是在之前nonsecure JWT
的基础上,在头部声明签名算法,并在最后添加上签名。
创建签名,是保证jwt不能被他人随意篡改。
我们通常使用的JWT一般都是JWS
为了完成签名,除了用到header信息和payload信息外,还需要算法的密钥,也就是secretKey。
加密的算法一般有两类:
- 对称加密:secretKey指加密密钥,可以生成签名与验签
- 非对称加密:secretKey指私钥,只用来生成签名,不能用来验签(验签用的是公钥)
JWT的密钥或者密钥对,一般统一称为JSON Web Key
,也就是JWK
如需了解JWT的签名算法可以前往其官网查阅:
Use
如果您想知道如何将JWT用于开发中,请移步另一篇文章:(写作中……)
Verification
JWT的后端验证是比较多样的,大概的流程可以参考下图:
这也是说JWT的后端验证多样的原因,如何利用JWT的信息和signature综合的去验证JWT的有效性,在开发者选择使用JWT的适合就要做好相应的准备——生成和验证是一体的。
Common Security risk of JWT
在简单了解了JWT之后,我们来看看JWT常见的一些安全风险:
敏感信息泄露
如果不当的使用Header和Payload部分,在其中存储一些敏感信息,可能会产生一定安全风险,因为两者只经过简单的base64编码。
当然这种在实际环境中很少见,但是却能成为个别CTF比赛的web签到题的考点(
签名算法替换
如果应用不限制 JWT中使用的算法类型,导致算法类型可控,这样会带给JWT巨大的安全风险。
签名算法置空(CVE-2015-2951)
我们知道在JWT的头部中声明了token的类型和签名用的算法:
1 |
|
上header指定了签名算法为HS256
,意味着服务端利用此算法将header和payload进行加密,形成signature,同时接收到token时,也会利用此算法对signature进行签名验证。
如果后端程序信任来源的JWT头部,那么当我们改变器头部算法,将其置空设置为
1 |
|
那么服务端接收到token后会将其认定为无加密算法, 于是对signature的检验也就失效了,那么我们就可以随意修改payload部分伪造token。
当然这一切的前提是,后端信任前端。
比如2022年首届数据安全题目中的一道web题,我们就可以通过该方法伪造token。
1 |
|
非对称密码算法修改为对称算法(密钥混淆CVE-2016-10555)
HMAC和RSA是JWT比较常见的两种算法。
HMAC:token使用密钥签名,然后使用相同的密钥进行验证。(对称)
RSA :token将首先使用私钥创建,然后使用相应的公钥进行验证。(非对称)
对于两者,密钥和私钥都要保密,因为签名和校验依赖它们。
这里假设一个网站使用RSA生成和验证token,那么这里会有两个变量参与:私钥Prit和公钥Pub。
如果签名算法可控,我们将算法头改为HMAC
,使用RSA的公钥Pub来生成一个token,那么我们将构造好的JWT发送回去时,后端验证查询则会用RSA的公钥Pub以HMAC的算法验证方式来验证token。
当然如果该漏洞存在,那么对于使用非对称加密的token,我们都可以尝试这样的方法,比如RS256变成HS256,比如这一道CTF题目:
https://skysec.top/2018/05/19/2018CUMTCTF-Final-Web/#Pastebin/
签名未校验/ 无效签名
某些服务端并未校验JWT签名,可以尝试修改signature后(或者直接删除signature),亦或者直接修改payload。
找到一个只有在被授权通过有效的JWT进行访问时才能访问此页面,我们将重放请求并寻找响应的变化以发现问题。
比如:
1 |
|
如果我们直接修改payload段,使用修改后的token重放,如访问页面正常,则说明漏洞存在。
伪造密钥(CVE-2018-0114)
jwk是header里的一个参数,用于指出密钥,存在被伪造的风险。
比如CVE-2018-0114:
https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2018-0114
攻击者可以通过以下方法来伪造JWT:删除原始签名,向标头添加新的公钥,然后使用与该公钥关联的私钥进行签名。
比如:
1 |
|
签名密钥爆破
按照JWT的结构,我们是可以得知其使用的签名算法的,如果可以爆破出对应的密钥,我们就能随意的”伪造”token了。
这里以HMAC签名举例:
HMAC签名密钥(例如HS256 / HS384 / HS512)使用对称加密,这意味着对令牌进行签名的密钥也用于对其进行验证。由于签名验证是一个自包含的过程,因此可以测试令牌本身的有效密钥,而不必将其发送回应用程序进行验证。
因此,HMAC JWT破解是离线的,通过JWT破解工具,可以快速检查已知的泄漏密码列表或默认密码。
工具会在下边介绍。
泄露密钥
这个一般得打组合拳,配合如目录遍历、XXE、SSRF等可以读取存储密钥值文件漏洞,这样就可以窃取密钥并签署任意token。
KID操控
KID代表“密钥序号”(Key ID)。它是JWT头部的一个可选字段,开发人员可以用它标识认证token的某一密钥。KID参数的正确用法如下所示:
1 |
|
由于此字段是由用户控制的,因此可能会被恶意操纵并导致危险的后果。
目录遍历
由于KID通常用于从文件系统中检索密钥文件,因此,如果在使用前不清理KID,文件系统可能会遭到目录遍历攻击。这样,攻击者便能够在文件系统中指定任意文件作为认证的密钥。
1 |
|
这样我们就可以强行设定应用程序使用公开可用文件作为密钥,并用该文件给HMAC加密的token签名。
SQL注入
KID也可以用于在数据库中检索密钥。在该情况下,攻击者很可能会利用SQL注入来绕过JWT安全机制。
如果可以在KID参数上进行SQL注入,攻击者便能使用该注入返回任意值。
1 |
|
上面这个注入会导致应用程序返回字符串“ key”,
因为数据库中不存在名为”aaaaaaa”的密钥,然后使用字符串“ key”作为密钥来认证token。
命令注入
有时,将KID参数直接传到不安全的文件读取操作可能会让一些命令注入代码流中。
一些函数就能给此类型攻击可乘之机,比如Ruby open()。攻击者只需在输入的KID文件名后面添加命令,即可执行系统命令:
1 |
|
类似情况还有很多,这只是其中一个例子。理论上,每当应用程序将未审查的头部文件参数传递给类似system()
,exec()
的函数时,都会产生此种漏洞。
其他头部参数操控
除KID外,JWT标准还能让开发人员通过URL指定密钥。
JKU头部参数
JKU全称是“JWKSet URL”,它是头部的一个可选字段,用于指定链接到一组加密token密钥的URL。若允许使用该字段且不设置限定条件,攻击者就能托管自己的密钥文件,并指定应用程序,用它来认证token。
1 |
|
操纵X5U,X5C URL
同JKU或JWK头部类似,x5u和x5c头部参数允许攻击者用于验证Token的公钥证书或证书链。x5u以URI形式指定信息,而x5c允许将证书值嵌入token中。
JWTtool
如果您需要对您使用JWT的网站进行安全测试,这里也有对应的工具,比如JWTtool,上述常见的JWT漏洞都可以使用该工具进行利用:
https://github.com/ticarpi/jwt_tool
同时你也能在该项目的Wiki网站上获取更多jwt的知识:
https://github.com/ticarpi/jwt_tool/wiki
2022 XiangyunCup FunWeb
我们来看看2022年祥云杯的Web题——FunWeb。
这道题并没有考察传统的JWT漏洞 而是选择一个比较新的 1day (CVE-2022-39227 )来出题。
经典的开局一个登录框,登录页面抓包后先跑了admin的弱口令,当然现在的题一般没这么容易,并没有结果。
老老实实注册进去,有两个可以点的,一个是查看flag,一个是查看成绩,点击之后发现都需要admin身份,所以抓包分析看到了一下,发现xxx.yyy.zzz
的token结构,下意识就去jwt.io解码了:
从payload可以判断大概这里就是突破点。
当然面对这样一道JWT的题目,常规攻击手段肯定是首选,不过这样的题目,如果常规打不下来,就得考虑在github上面找commit了。
所以在一天常规攻击无果后,于是开始找最近有关jwt的day,然后队里另外一位师傅翻到了python jwt的1day,也就是CVE-2022-39227
https://github.com/davedoesdev/python-jwt/commit/88ad9e67c53aa5f7c43ec4aa52ed34b7930068c9
拉到最后我们可以看到作者在test中提供了漏洞POC:
1 |
|
注意这一点注释:"Use mix of JSON and compact format to insert forged claims including long expiration"
可以得知,这个漏洞的本质就是利用 json格式的注⼊
如果稍加改造,我们就可以获得一个EXP:
1 |
|
利用生成的json当作token传参即可绕过:
JWT的部分其实到这就结束了,后面如何拿flag就涉及到grahql的一个注入了,如果有时间,我会在下一篇文章总结一些SQL注入的知识。
From FunWeb to CVE-2022-39227 vulnerability analysis
本来还想着要分析,最近时间不是很够,敲好J1an师傅直接把文档炫我嘴里了(,
那这里原理分析我就直接使用J1an师傅的文章啦:
原文地址:https://forum.butian.net/share/1990 过审了所以添上了ww
奇安信攻防社区-CVE-2022-39227漏洞分析.pdf
Other Jwt topics
[HFCTF2020]EasyLogin
该WriteUp来源:https://www.jianshu.com/p/0f76e1c69e33
复现环境:
[https://buuoj.cn/challenges#[HFCTF2020\]EasyLogin](https://links.jianshu.com/go?to=https%3A%2F%2Fbuuoj.cn%2Fchallenges%23%5BHFCTF2020%5DEasyLogin)
https://www.ctfhub.com/#/challenge
题解
运行环境发现是一个登录页面,直接登录显示Cannot read property 'split' of undefined
,需要先注册再登陆。
使用注册的普通账号登录,发现get flag
按钮,点击提示permission denied
,无权限,那么此题的方向应该是伪造成一个高权限账户。
截取登录包,发现两处可疑authorization
校验字段,Cookie
也存在sses.aok
的校验
可以看到xxx.yyy.zzz
的结构,解码可知为jwt
通过查看源码,发现/static/js/app.js 页面存在提示
1 |
|
koa-static 错误配置的源码泄露
说明 app.js
是直接静态映射到程序根目录的,直接访问根目录的该文件可直接看到源码
继续分析根目录的app.js
,发现代码引用了两个当前目录的文件
1 |
|
说明存在rest.js和controller.js文件
访问rest.js
发现同样一个路径前缀 api
1 |
|
访问controller.js
看到下面的代码
遍历在controllers文件夹下的以.js结尾的文件,并且引入文件添加在router中,推断controllers文件夹下存在一个api.js文件
1 |
|
访问/controllers/api.js
前端几个能看到的功能接口逻辑都在了,分析登录和注册接口
1 |
|
我们看到secretid值校验,要求 sid 不能为 undefined,null,并且必须在全局变量 secrets 数组的长度和 0 之间。JavaScript 是一门弱类型语言,可以通过空数组与数字比较永远为真或是小数来绕过,而这个题利用的是 将加密方式改为’none’ 的方法,
1 |
|
把生成的值替换authorization的值就通过验证了
登入之后点击get flag,权限足够,获得flag
CISCN 2019 华北赛区 Web - ikun
复现环境
题解
当然这道题还涉及逻辑漏洞和python反序列化,我们在这只提一下JWT部分,详细的WP师傅们可以在网上找到。
/b1g_m4mber这个页面,提示只允许admin访问
既然提示要admin,那基本上跟cookie有关,查看一下cookie,发现是JWT
解码可得:
而这道题对于jwt的解法是爆破密钥,我们用到一个叫jwt-cracker的工具来爆破密钥。
当然 之前提到的 JWT tool 也支持密钥爆破。
爆破出来密钥为1Kun,修改用户名为admin,修改token重放:
接下来就是python反序列化了:
End
- Tool:
https://github.com/ticarpi/jwt_tool
https://github.com/brendan-rius/c-jwt-cracker
- Reference
https://github.com/ticarpi/jwt_tool/wiki