公开文集
0x01 SRC 资产管理系统
0x02 Web 漏洞案例库
0x03 小程序漏洞案例库
第一章:小程序渗透基础
1.1 微信小程序反编译与动态调试
1.2 微信小程序强制开启开发者模式
0x99 信息安全学习体系
01-网络安全基础
Day-001-TCP-IP协议栈安全分析
Day-002-DNS协议安全与DNS劫持攻防
Day-003-IPv6 安全基础与过渡
Day-004-HTTP-HTTPS协议深度解析
Day-005-网络嗅探与流量分析技术
Day-006-防火墙原理与配置实践
Day-007-网络地址转换 NAT 安全分析
Day-008-路由协议安全 RIP-OSPF-BGP
Day-009-VLAN 安全与 VLAN-Hopping
Day-010-无线网络基础与安全 802.11
Day-011-网络访问控制 802.1X-NAC
Day-012-网络分段与微隔离设计
Day-013-负载均衡器安全配置
Day-014-CDN安全与防护
Day-015-NTP安全
Day-016-DHCP安全与攻击防护
Day-017-ICMP协议安全分析
Day-018-网络协议模糊测试基础
Day-019-网络流量基线建立
Day-020-网络取证基础
Day-021-网络入侵检测系统 NIDS
Day-022-网络入侵防御系统 NIPS
Day-023-网络流量加密与解密
Day-024-网络协议逆向工程基础
Day-025-网络性能与安全权衡
Day-026-SDN 安全
Day-027-网络虚拟化安全
Day-028-网络欺骗技术
Day-029-网络威胁情报应用
Day-030-网络容量规划与安全
Day-031-网络安全架构设计实战
02-Web 安全
Day-032-OWASP-Top-10-2021详解
Day-033-SQL 注入原理与手工检测
Day-034-SQL注入进阶报错注入与盲注
Day-035-XSS跨站脚本攻击基础
Day-036-XSS 进阶绕过与利用
Day-037-XSS进阶绕过与利用
Day-038-CSRF 跨站请求伪造
Day-039-文件上传漏洞
Day-040-反序列化漏洞基础
Day-041-PHP反序列化深入
Day-042-Java反序列化深入
Day-043-SSTI 服务端模板注入
Day-044-文件包含漏洞 LFI-RFI
Day-045-命令注入漏洞
Day-046-XXE-XML 外部实体注入
Day-047-反序列化漏洞进阶
Day-048-API 安全基础
Day-049-API认证与授权安全
Day-050-API漏洞挖掘实战
Day-051-文件上传漏洞进阶
Day-052-反序列化漏洞实战
Day-053-Web 安全综合实战
Day-054-移动安全基础
Day-055-Android 应用安全测试
Day-056-iOS 应用安全测试
Day-057-移动应用综合实战
Day-058-云安全基础
Day-059-AWS 安全实战
Day-060-Azure 安全实战
Day-061-GCP 安全实战
Day-062-云安全综合实战
Day-063-容器安全基础
Day-064-Docker 安全实战
Day-065-Kubernetes 安全实战
Day-066-容器安全综合实战
Day-067-API 安全进阶
Day-068-服务端请求伪造 SSRF 深入
Day-069-文件上传漏洞进阶
Day-070-反序列化漏洞实战进阶
Day-071-业务逻辑漏洞深入
Day-072-前端安全深入
Day-073-Web 安全综合实战
Day-074-云安全进阶
Day-075-移动安全进阶
Day-076-API 安全进阶
Day-077-前端安全进阶
Day-078-业务逻辑漏洞进阶
Day-079-反序列化漏洞实战进阶
Day-080-文件上传漏洞实战进阶
Day-081-SSTI 服务端模板注入进阶
Day-082-XXE-XML 外部实体注入进阶
Day-083-SSRF 服务端请求伪造进阶
Day-084-命令注入漏洞进阶
Day-085-文件包含漏洞进阶
Day-086-反序列化漏洞实战进阶
Day-087-文件上传漏洞实战进阶
Day-088-SSTI 服务端模板注入实战进阶
Day-089-XXE-XML 外部实体注入实战进阶
Day-090-SSRF 服务端请求伪造实战进阶
Day-091-命令注入漏洞实战进阶
Day-092-Web 安全综合实战
Day-093-GraphQL 安全
Day-094-JWT 与 OAuth2 安全
03-系统安全
Day-095-系统监控与检测
Day-096-主机防火墙配置
Day-097-系统审计与合规
Day-098-Linux 系统安全进阶
Day-099-Windows 系统安全进阶
Day-100-容器安全进阶
Day-101-容器编排安全进阶
Day-102-Linux 内核安全
Day-103-Windows 内核安全
Day-104-系统安全总结与实战
Day-105-Linux 系统安全基础
Day-106-Windows 系统安全基础
Day-107-容器安全基础
Day-108-系统加固技术
Day-109-日志分析技术
Day-110-威胁狩猎技术
04-应用安全
Day-111-安全编码规范
Day-112-输入验证技术
Day-113-输出编码技术
Day-114-错误处理安全
Day-115-会话管理安全
Day-116-认证安全
Day-117-授权安全
Day-118-数据保护安全
Day-119-日志安全
Day-120-API 安全
Day-121-微服务安全
Day-122-新兴技术安全概论
Day-123-DevSecOps 流水线安全
Day-124-云原生安全架构
Day-125-API 安全最佳实践
Day-126-安全编码规范
Day-127-SDL 安全开发生命周期
Day-128-威胁建模实战
Day-129-安全需求分析
Day-130-安全架构设计
Day-131-安全编码实践Java
Day-132-安全编码实践Python
Day-133-代码审计方法论
Day-134-静态代码分析SAST
Day-135-动态应用测试DAST
Day-136-交互式测试IAST
Day-137-软件成分分析SCA
Day-138-依赖漏洞管理
Day-139-安全测试自动化
Day-140-漏洞管理与响应
Day-141-应用安全总结与展望
Day-142-OWASP-Top10-2024 详解
Day-143-CWE-Top25 分析
Day-144-漏洞挖掘方法论
Day-145-模糊测试技术
Day-146-逆向工程基础
Day-147-漏洞利用开发基础
Day-148-漏洞复现与验证
Day-149-漏洞披露流程
Day-150-CVE 申请与管理
Day-151-漏洞赏金计划
Day-152-等保2.0详解
Day-153-GDPR 合规实践
Day-154-数据安全法解读
Day-155-个人信息保护法与合规指南
Day-156-个人信息保护法解读
Day-157-ISO-27001 信息安全管理体系
Day-158-SOC-2 合规与审计
Day-159-PCI-DSS 支付卡行业数据安全标准
Day-160-网络安全审查办法解读
Day-161-数据出境安全评估办法
Day-162-应用安全评估实战
Day-163-红蓝对抗演练
Day-164-安全应急响应
Day-165-安全运营中心建设
Day-166-应用安全总结与展望
05-密码学
Day-167-密码学基础
Day-168-对称加密算法详解
Day-169-非对称加密算法详解
Day-170-哈希函数与数字签名
Day-171-密钥管理与PKI
Day-172-TLS-SSL 协议详解
Day-173-国密算法详解
Day-174-认证与密钥协议
Day-175-随机数生成与熵源
Day-176-椭圆曲线密码学详解
Day-177-后量子密码学详解
Day-178-高级密码学主题
Day-179-密码学行业应用精选
Day-180-常用加密算法原理与实现
Day-181-密码学总结与展望
Day-182-密码学系列总结与展望
06-渗透测试
Day-183-渗透测试方法论
Day-184-信息收集技术详解
Day-185-漏洞扫描技术详解
Day-186-漏洞利用技术详解
Day-187-渗透测试中的漏洞利用框架
Day-188-漏洞利用框架与 Metasploit 深入
Day-189-渗透测试中的 WAF 绕过技术
Day-190-渗透测试中的模糊测试技术
Day-191-渗透测试中的代码审计与静态分析
Day-192-渗透测试中的密码哈希破解技术
Day-193-渗透测试报告编写指南
Day-194-Web 应用渗透测试
Day-195-渗透测试中的 API 安全测试
Day-196-渗透测试中的 GraphQL 安全测试
Day-197-渗透测试中的前后端分离应用测试
Day-198-渗透测试中的小程序安全测试
Day-199-渗透测试中的浏览器安全测试
Day-200-OAuth-SSO安全测试
Day-201-渗透测试中的业务逻辑漏洞测试
Day-202-渗透测试中的厚客户端安全测试
Day-203-渗透测试综合实战演练
Day-204-内网渗透技术详解
Day-205-渗透测试中的内网信息收集进阶
Day-206-渗透测试中的域森林渗透技术
Day-207-渗透测试中的权限维持技术
Day-208-渗透测试中的横向移动技术
Day-209-渗透测试中的痕迹清理与反取证技术
Day-210-渗透测试中的数据窃取与 Exfiltration 技术
Day-211-渗透测试中的内部威胁与数据泄露测试
Day-212-渗透测试中的物理安全渗透
Day-213-社会工程学攻击技术
Day-214-移动应用渗透测试
Day-215-云安全渗透测试
Day-216-渗透测试中的容器与 Kubernetes 安全渗透
Day-217-渗透测试中的 Serverless 安全测试
Day-218-渗透测试中的微服务安全测试
Day-219-物联网安全渗透测试
Day-220-工业控制系统安全渗透测试
Day-221-无线网络安全渗透测试
Day-222-数据库安全渗透测试
Day-223-渗透测试中的供应链安全测试
Day-224-红队演练技术详解
Day-225-渗透测试中的红队基础设施搭建
Day-226-渗透测试中的威胁情报与狩猎
Day-227-渗透测试中的综合指纹识别技术
Day-228-自动化渗透测试技术
Day-229-渗透测试中的运维安全测试
Day-230-渗透测试中的区块链与智能合约安全测试
Day-231-渗透测试中的漏洞管理与修复验证
Day-232-渗透测试法律与合规
Day-233-后渗透攻击技术详解
Day-234-渗透测试中的人工智能应用
Day-235-漏洞利用开发深入
Day-236-云原生渗透测试深入
07-应急响应
Day-237-应急响应概述与核心概念
Day-238-应急响应流程框架
Day-239-CSIRT 团队组建与职责分工
Day-240-应急响应工具包准备
Day-241-应急响应法律与合规要求
Day-242-安全事件检测方法与指标
Day-243-云原生应急响应
Day-244-日志收集与分析技术
Day-245-网络流量分析与异常识别
Day-246-自动化响应与 SOAR
Day-247-端点监控与 EDR 技术
Day-248-威胁狩猎方法论
Day-249-威胁情报在检测中的应用
Day-250-数字取证基础与证据链管理
Day-251-内存取证技术
Day-252-磁盘取证与文件恢复
Day-253-网络取证与数据包分析
Day-254-云环境与容器取证
Day-255-恶意代码静态分析技术
Day-256-恶意代码动态分析技术
Day-257-恶意代码行为分析方法
Day-258-逆向工程基础与工具
Day-259-沙箱技术与自动化分析
Day-260-事件隔离与遏制策略
Day-261-威胁根除与系统修复
Day-262-系统恢复与数据重建
Day-263-业务连续性计划
Day-264-事件复盘与经验总结
Day-265-APT 攻击事件复盘分析
Day-266-勒索软件事件响应实战
Day-267-数据泄露事件处置流程
Day-268-内部威胁调查与取证
Day-269-综合应急响应演练
08-安全运维
Day-270-安全运营中心 SOC 概述
Day-271-安全监控指标体系
Day-272-安全告警管理
Day-273-安全可视化与仪表盘
Day-274-监控工具选型
Day-275-日志采集技术
Day-276-日志标准化与解析
Day-277-日志存储与归档
Day-278-日志分析技术
Day-279-日志合规要求
Day-280-SIEM 架构与设计
Day-281-关联规则引擎
Day-282-高级关联分析
Day-283-UEBA 用户实体行为分析
Day-284-威胁狩猎
Day-285-SOAR 基础概念
Day-286-剧本设计
Day-287-自动化响应技术
Day-288-安全工具集成
Day-289-SOAR 度量与优化
Day-290-安全基线管理
Day-291-漏洞管理流程
Day-292-补丁管理策略
Day-293-变更安全管理
Day-294-合规审计技术
Day-295-7x24 安全运营
Day-296-安全事件管理流程
Day-297-安全运营度量体系
Day-298-持续改进机制
Day-299-安全运维综合演练
Day-300-云原生安全运营
Day-301-AI 与机器学习安全运营
Day-302-安全自动化脚本实战
09-移动安全
Day-303-移动安全威胁概述
Day-304-移动设备安全架构
Day-305-移动操作系统安全模型
Day-306-移动应用权限管理
Day-307-移动端数据加密
Day-308-330-Android 安全合集
Day-309-Android 安全架构
Day-310-Android 组件安全
Day-311-Android 权限与隐私
Day-312-Android 逆向工程
Day-313-Android 应用加固
Day-314-iOS 安全架构
Day-315-iOS 应用沙盒机制
Day-316-越狱与反越狱
Day-317-iOS 逆向工程
Day-318-iOS 企业分发安全
Day-319-移动安全开发生命周期
Day-320-移动应用安全测试
Day-321-移动应用加固技术
Day-322-移动威胁防护
Day-323-移动安全合规
10-云安全
Day-324-云计算安全模型
Day-325-责任共担模型
Day-326-云安全威胁模型
Day-327-云安全合规框架
Day-328-云安全架构设计
Day-329-AWS IAM 安全
Day-330-AWS 网络安全
Day-331-AWS 存储安全
Day-332-AWS 安全监控
Day-333-AWS 安全最佳实践
Day-334-Azure AD 安全
Day-335-Azure 网络安全
Day-336-Azure 存储安全
Day-337-Azure 安全中心
Day-338-Azure 安全最佳实践
Day-339-容器安全基础
Day-340-Kubernetes 安全
Day-341-Serverless 安全
Day-342-云原生 DevSecOps
Day-343-云安全态势管理 CSPM
11-物联网工控
Day-344-物联网安全概述
Day-345-IoT 通信协议安全
Day-346-IoT 设备安全
Day-347-IoT 平台安全
Day-348-IoT 应用安全
Day-349-工业控制系统概述
Day-350-工控协议安全
Day-351-PLC 安全
Day-352-SCADA 系统安全
Day-353-工控安全防护
12-综合与总结
Day-354-安全职业发展路径
Day-355-安全技术趋势展望
Day-356-安全建设方法论
Day-357-经典攻防案例复盘
Day-358-安全学习资源指南
Day-359-信息安全行业求职指南
-
+
首页
Day-201-渗透测试中的业务逻辑漏洞测试
# Day 258: 渗透测试中的业务逻辑漏洞测试 > 渗透测试系列第 58 篇 | 预计阅读时间:45 分钟 | 难度:★★★★★ --- ## 清单 目录 1. [业务逻辑漏洞概述](#业务逻辑漏洞概述) 2. [业务逻辑漏洞类型](#业务逻辑漏洞类型) 3. [业务流程分析](#业务流程分析) 4. [支付逻辑漏洞](#支付逻辑漏洞) 5. [认证授权逻辑](#认证授权逻辑) 6. [数据验证逻辑](#数据验证逻辑) 7. [状态机漏洞](#状态机漏洞) 8. [竞争条件漏洞](#竞争条件漏洞) 9. [业务逻辑测试方法](#业务逻辑测试方法) 10. [业务逻辑测试工具](#业务逻辑测试工具) 11. [业务逻辑安全加固](#业务逻辑安全加固) 12. [实战案例](#实战案例) 13. [总结与思考](#总结与思考) 14. [参考资料](#参考资料) --- ## 业务逻辑漏洞概述 ### 什么是业务逻辑漏洞 业务逻辑漏洞是指应用程序在实现业务流程时存在的设计或实现缺陷,攻击者可以利用这些缺陷绕过正常流程、获取未授权访问或执行未授权操作。 ``` ┌─────────────────────────────────────────────────────────────┐ │ 业务逻辑漏洞特点 │ ├─────────────────────────────────────────────────────────────┤ │ │ │ 与技术漏洞的区别: │ │ ┌─────────────────────────────────────────────────────┐ │ │ │ 技术漏洞 业务逻辑漏洞 │ │ │ │ ├── SQL 注入 ├── 价格篡改 │ │ │ │ ├── XSS ├── 流程绕过 │ │ │ │ ├── CSRF ├── 权限提升 │ │ │ │ └── 文件上传 └── 竞争条件 │ │ │ └─────────────────────────────────────────────────────┘ │ │ │ │ 业务逻辑漏洞特点: │ │ ├── 难以自动化检测 │ │ │ └── 需要理解业务流程 │ │ ├── 危害严重 │ │ │ └── 直接涉及资金/数据 │ │ ├── 修复困难 │ │ │ └── 需要重构业务逻辑 │ │ └── 普遍存在 │ │ └── 每个应用都有业务逻辑 │ │ │ │ 为什么难以检测: │ │ ├── 需要了解业务 │ │ ├── 无通用特征 │ │ ├── 扫描器无法识别 │ │ └── 需要人工测试 │ │ │ └─────────────────────────────────────────────────────────────┘ ``` ### 业务逻辑漏洞危害 ``` 业务逻辑漏洞危害: ├── 经济损失 │ ├── 支付绕过 │ ├── 价格篡改 │ └── 优惠券滥用 ├── 数据泄露 │ ├── 越权访问 │ ├── 数据导出 │ └── 信息泄露 ├── 权限提升 │ ├── 普通用户→管理员 │ ├── 越权操作 │ └── 功能绕过 └── 业务影响 ├── 服务滥用 ├── 资源耗尽 └── 声誉损害 ``` --- ## 业务逻辑漏洞类型 ### 常见漏洞类型 ``` 常见业务逻辑漏洞: ├── 支付相关 │ ├── 价格篡改 │ ├── 数量篡改 │ ├── 支付绕过 │ └── 重复支付 ├── 认证授权 │ ├── 越权访问 │ ├── 权限提升 │ ├── 流程绕过 │ └── 会话管理 ├── 数据验证 │ ├── 输入验证 │ ├── 业务规则 │ ├── 状态验证 │ └── 数据完整性 ├── 流程控制 │ ├── 步骤跳过 │ ├── 顺序颠倒 │ ├── 状态篡改 │ └── 竞争条件 └── 业务规则 ├── 优惠券滥用 ├── 积分滥用 ├── 邀请作弊 └── 限制绕过 ``` ### OWASP 业务逻辑漏洞 ``` OWASP 业务逻辑漏洞分类: ├── BFLAC (Broken Function Level Authorization) │ └── 功能级授权破坏 ├── 绕过验证流程 │ └── 跳过验证步骤 ├── 违反预期使用模式 │ └── 非正常使用 ├── 篡改数据 │ └── 修改业务数据 └── 违反假设流程 └── 违反业务假设 ``` --- ## 业务流程分析 ### 流程映射 ``` 业务流程分析: ├── 识别关键流程 │ ├── 注册流程 │ ├── 登录流程 │ ├── 支付流程 │ ├── 订单流程 │ └── 审批流程 ├── 绘制流程图 │ ├── 正常流程 │ ├── 异常流程 │ └── 边界流程 └── 识别控制点 ├── 验证点 ├── 授权点 └── 审计点 ``` ### 流程测试方法 ``` 流程测试方法: ├── 正常流程测试 │ └── 验证正常功能 ├── 异常流程测试 │ └── 测试异常处理 ├── 边界流程测试 │ └── 测试边界条件 └── 绕过流程测试 └── 尝试绕过步骤 ``` ``` 测试检查清单: ├── 步骤完整性 │ - [ ] 所有步骤必须执行 │ - [ ] 步骤顺序正确 │ - [ ] 无法跳过步骤 ├── 数据验证 │ - [ ] 输入数据验证 │ - [ ] 业务规则验证 │ - [ ] 状态验证 ├── 权限检查 │ - [ ] 每步权限验证 │ - [ ] 数据所有权 │ - [ ] 操作授权 └── 状态管理 - [ ] 状态转换正确 - [ ] 状态不可篡改 - [ ] 状态一致性 ``` --- ## 支付逻辑漏洞 ### 价格篡改 ``` 价格篡改测试: ├── 前端修改 │ └── 修改页面价格 ├── 请求篡改 │ └── 修改请求参数 ├── 响应篡改 │ └── 修改响应数据 └── 重放攻击 └── 重放旧价格 ``` ```http # 价格篡改示例 # 1. 前端修改 # 原价格:<input type="hidden" name="price" value="100"> # 修改为:<input type="hidden" name="price" value="0.01"> # 2. 请求篡改 # 原请求: POST /api/order { "product_id": 123, "price": 100, "quantity": 1 } # 篡改请求: POST /api/order { "product_id": 123, "price": 0.01, "quantity": 1 } # 3. 数量篡改 # 原请求: { "price": 100, "quantity": 1, "total": 100 } # 篡改请求: { "price": 100, "quantity": -1, "total": -100 } # 可能导致退款 ``` ### 支付绕过 ``` 支付绕过测试: ├── 跳过支付 │ └── 直接确认订单 ├── 支付状态篡改 │ └── 修改支付状态 ├── 回调绕过 │ └── 伪造支付回调 └── 并发支付 └── 并发修改状态 ``` ```http # 支付绕过示例 # 1. 跳过支付步骤 # 正常流程: # 购物车 → 确认订单 → 支付 → 完成 # 绕过流程: # 购物车 → 确认订单 → 完成 # 直接访问完成页面 # 2. 支付状态篡改 # 原响应: { "order_id": 123, "status": "pending", "paid": false } # 篡改响应: { "order_id": 123, "status": "completed", "paid": true } # 3. 伪造支付回调 # 伪造支付成功回调 POST /api/payment/callback { "order_id": 123, "status": "success", "sign": "fake_sign" } ``` ### 优惠券滥用 ``` 优惠券滥用测试: ├── 重复使用 │ └── 同一券多次使用 ├── 叠加使用 │ └── 多券叠加 ├── 条件绕过 │ └── 不满足条件使用 └── 金额篡改 └── 修改优惠金额 ``` ```http # 优惠券滥用示例 # 1. 重复使用 # 正常:一张券只能用一次 # 滥用:并发请求使用同一张券 POST /api/coupon/use # 请求 1 POST /api/coupon/use # 请求 2 (同一张券) # 2. 叠加使用 # 正常:一次只能用一张券 # 滥用:同时使用多张券 POST /api/order { "coupons": ["COUPON1", "COUPON2", "COUPON3"] } # 3. 条件绕过 # 正常:满 100 减 10 # 滥用:订单金额 99 也使用 POST /api/order { "amount": 99, "coupon": "FULL100_10" } # 4. 金额篡改 # 正常:优惠 10 元 # 滥用:修改为优惠 100 元 POST /api/coupon/use { "coupon_id": 123, "discount": 100 } ``` --- ## 认证授权逻辑 ### 越权访问 ``` 越权访问测试: ├── 水平越权 │ └── 访问其他用户数据 ├── 垂直越权 │ └── 访问管理员功能 └── 交叉越权 └── 跨部门/角色访问 ``` ```http # 越权访问示例 # 1. 水平越权 # 用户 A 访问用户 B 的数据 GET /api/user/123/profile # 用户 A 登录 # 修改为: GET /api/user/124/profile # 访问用户 B 数据 # 2. 垂直越权 # 普通用户访问管理员功能 GET /api/admin/users # 普通用户登录 # 应该返回 403,但可能返回 200 # 3. ID 遍历 # 遍历所有订单 for i in {1..1000}; do curl https://target.com/api/order/$i done ``` ### 流程绕过 ``` 流程绕过测试: ├── 步骤跳过 │ └── 跳过验证步骤 ├── 顺序颠倒 │ └── 颠倒操作顺序 └── 并行执行 └── 并发执行步骤 ``` ```http # 流程绕过示例 # 1. 跳过验证步骤 # 正常流程: # 注册 → 邮箱验证 → 激活 → 登录 # 绕过流程: # 注册 → 激活 → 登录 # 直接访问激活接口 # 2. 顺序颠倒 # 正常流程: # 下单 → 支付 → 发货 → 确认收货 # 颠倒流程: # 下单 → 确认收货 → 支付 # 先确认收货再支付 # 3. 并行执行 # 正常:顺序执行 # 滥用:并发执行 POST /api/step1 & POST /api/step2 & POST /api/step3 & ``` --- ## 数据验证逻辑 ### 输入验证 ``` 输入验证测试: ├── 类型验证 │ └── 类型不匹配 ├── 范围验证 │ └── 超出范围 ├── 格式验证 │ └── 格式错误 └── 业务规则 └── 违反规则 ``` ```http # 输入验证示例 # 1. 类型验证 # 期望:数字 POST /api/order { "quantity": "abc" # 字符串 } # 2. 范围验证 # 期望:1-100 POST /api/order { "quantity": -1 # 负数 } POST /api/order { "quantity": 999999 # 超大数 } # 3. 格式验证 # 期望:邮箱格式 POST /api/register { "email": "notanemail" # 无效邮箱 } # 4. 业务规则 # 期望:库存充足 POST /api/order { "quantity": 999 # 超过库存 } ``` ### 状态验证 ``` 状态验证测试: ├── 状态篡改 │ └── 修改状态值 ├── 状态重用 │ └── 重用旧状态 └── 状态跳跃 └── 跳过中间状态 ``` ```http # 状态验证示例 # 1. 状态篡改 # 原状态: { "order_id": 123, "status": "pending" } # 篡改状态: { "order_id": 123, "status": "completed" } # 2. 状态重用 # 使用已完成的订单状态 POST /api/order { "reference_order": 123, # 已完成的订单 "status": "completed" } # 3. 状态跳跃 # 正常:pending → paying → paid → completed # 跳跃:pending → completed POST /api/order/123/status { "status": "completed" } ``` --- ## 状态机漏洞 ### 状态机分析 ``` 状态机分析: ├── 识别状态 │ └── 所有可能状态 ├── 识别转换 │ └── 状态转换规则 └── 识别约束 └── 转换约束条件 ``` ``` 订单状态机示例: ┌─────────────────────────────────────────────────────────────┐ │ │ │ created → pending → paying → paid → shipping → delivered │ │ ↓ ↓ ↓ ↓ ↓ ↓ │ │ cancelled timeout failed refund return completed│ │ │ │ 合法转换: │ │ - created → pending │ │ - pending → paying │ │ - paying → paid │ │ - paid → shipping │ │ │ │ 非法转换: │ │ - created → paid (跳过中间状态) │ │ - delivered → pending (状态回退) │ │ │ └─────────────────────────────────────────────────────────────┘ ``` ### 状态机测试 ``` 状态机测试: ├── 合法转换测试 │ └── 测试所有合法转换 ├── 非法转换测试 │ └── 测试所有非法转换 └── 边界状态测试 └── 测试边界状态 ``` ```http # 状态机测试示例 # 1. 非法转换测试 # 尝试从 created 直接到 paid POST /api/order/123/status { "from": "created", "to": "paid" } # 应该拒绝 # 2. 状态回退测试 # 尝试从 delivered 回退到 pending POST /api/order/123/status { "from": "delivered", "to": "pending" } # 应该拒绝 # 3. 并发状态转换 # 并发执行多个状态转换 POST /api/order/123/status # 转到 paying POST /api/order/123/status # 转到 cancelled ``` --- ## 竞争条件漏洞 ### 竞争条件类型 ``` 竞争条件类型: ├── 时间窗口 │ └── 检查与使用之间的时间差 ├── 并发请求 │ └── 并发修改同一资源 └── 状态竞争 └── 并发状态转换 ``` ### 竞争条件测试 ``` 竞争条件测试: ├── 并发请求 │ └── 发送并发请求 ├── 时间窗口 │ └── 利用时间窗口 └── 资源竞争 └── 竞争有限资源 ``` ```http # 竞争条件示例 # 1. TOCTOU (Time Of Check Time Of Use) # 检查时有余票,使用时已无票 GET /api/ticket/available # 检查:有 1 张票 # 同时其他人购买 POST /api/ticket/buy # 使用:购买失败或超卖 # 2. 并发余额修改 # 账户余额:100 元 # 并发发起两笔提现 POST /api/withdraw # 提现 100 元 (请求 1) POST /api/withdraw # 提现 100 元 (请求 2) # 可能都成功,余额变为 -100 元 # 3. 优惠券并发使用 # 优惠券:1 张 # 并发使用 POST /api/coupon/use # 请求 1 POST /api/coupon/use # 请求 2 # 可能都成功 ``` ### 竞争条件利用 ```bash # 并发请求测试 # 使用 Burp Intruder # 1. 捕获请求 # 2. 发送到 Intruder # 3. 设置并发数 # 4. 执行攻击 # 使用 Python 并发 import requests from concurrent.futures import ThreadPoolExecutor def send_request(): requests.post('https://target.com/api/withdraw', json={...}) with ThreadPoolExecutor(max_workers=10) as executor: for _ in range(10): executor.submit(send_request) # 使用 Turbo Intruder (Burp 插件) # 发送高速并发请求 ``` --- ## 业务逻辑测试方法 ### 测试流程 ``` 业务逻辑测试流程: ├── 1. 业务理解 │ ├── 了解业务流程 │ ├── 识别关键功能 │ └── 识别敏感操作 ├── 2. 流程映射 │ ├── 绘制流程图 │ ├── 识别控制点 │ └── 识别依赖关系 ├── 3. 威胁建模 │ ├── 识别威胁 │ ├── 评估风险 │ └── 确定优先级 ├── 4. 测试执行 │ ├── 正常流程测试 │ ├── 异常流程测试 │ └── 绕过流程测试 └── 5. 结果验证 ├── 验证漏洞 ├── 评估影响 └── 编写报告 ``` ### 测试技巧 ``` 业务逻辑测试技巧: ├── 参数篡改 │ ├── 修改数值 │ ├── 修改类型 │ └── 修改状态 ├── 流程绕过 │ ├── 跳过步骤 │ ├── 颠倒顺序 │ └── 并发执行 ├── 状态篡改 │ ├── 修改状态 │ ├── 重用状态 │ └── 跳跃状态 └── 数据验证 ├── 边界测试 ├── 异常测试 └── 规则测试 ``` ### 测试检查清单 ``` 业务逻辑测试清单: ├── 支付逻辑 │ - [ ] 价格篡改测试 │ - [ ] 数量篡改测试 │ - [ ] 支付绕过测试 │ - [ ] 优惠券滥用测试 ├── 认证授权 │ - [ ] 越权访问测试 │ - [ ] 流程绕过测试 │ - [ ] 权限提升测试 ├── 数据验证 │ - [ ] 输入验证测试 │ - [ ] 状态验证测试 │ - [ ] 业务规则测试 ├── 状态机 │ - [ ] 状态转换测试 │ - [ ] 状态回退测试 │ - [ ] 并发状态测试 └── 竞争条件 - [ ] 并发请求测试 - [ ] 时间窗口测试 - [ ] 资源竞争测试 ``` --- ## 业务逻辑测试工具 ### 测试工具 | 工具 | 用途 | 特点 | |------|------|------| | **Burp Suite** | 综合测试 | 强大拦截/重放 | | **OWASP ZAP** | 综合测试 | 开源免费 | | **Postman** | API 测试 | API 测试方便 | | **Turbo Intruder** | 并发测试 | 高速并发 | | **Burp Intruder** | 参数测试 | 参数篡改 | ### Burp Suite 使用 ``` Burp Suite 业务逻辑测试: ├── Proxy │ └── 拦截修改请求 ├── Repeater │ └── 重放请求测试 ├── Intruder │ └── 参数篡改测试 ├── Sequencer │ └── 随机性测试 └── Collaborator └── 带外测试 ``` ``` Burp 测试技巧: # 1. 拦截修改 # 启用 Proxy → Intercept # 修改请求参数 # 转发请求 # 2. 重放测试 # 发送到 Repeater # 修改参数 # 发送请求 # 3. 并发测试 # 发送到 Intruder # 设置并发数 # 执行攻击 # 4. 流程测试 # 记录完整流程 # 修改流程顺序 # 测试绕过 ``` ### 自动化辅助 ```python # 业务逻辑测试脚本示例 import requests from concurrent.futures import ThreadPoolExecutor # 1. 并发测试 def test_race_condition(): def send_request(): response = requests.post( 'https://target.com/api/withdraw', json={'amount': 100} ) return response.status_code with ThreadPoolExecutor(max_workers=10) as executor: results = list(executor.map(lambda _: send_request(), range(10))) print(f"Success: {results.count(200)}") # 2. 流程绕过测试 def test_process_bypass(): # 正常流程 # step1 → step2 → step3 # 绕过测试 # 直接访问 step3 response = requests.post( 'https://target.com/api/step3', json={'data': 'test'} ) print(f"Bypass result: {response.status_code}") # 3. 状态篡改测试 def test_state_tampering(): # 修改状态 response = requests.put( 'https://target.com/api/order/123/status', json={'status': 'completed'} ) print(f"State tampering: {response.status_code}") ``` --- ## 业务逻辑安全加固 ### 设计原则 ``` 业务逻辑安全设计原则: ├── 最小权限 │ └── 只授予必要权限 ├── 默认拒绝 │ └── 默认拒绝所有操作 ├── 深度防御 │ └── 多层验证 ├── 审计日志 │ └── 记录所有操作 └── 异常处理 └── 安全异常处理 ``` ### 实施措施 ``` 业务逻辑安全措施: ├── 输入验证 │ ├── 类型检查 │ ├── 范围检查 │ └── 格式检查 ├── 业务规则验证 │ ├── 规则引擎 │ ├── 状态验证 │ └── 流程验证 ├── 并发控制 │ ├── 锁机制 │ ├── 事务控制 │ └── 乐观锁 └── 审计监控 ├── 操作日志 ├── 异常告警 └── 实时监控 ``` ### 代码示例 ```python # 业务逻辑安全实现示例 # 1. 输入验证 from decimal import Decimal def create_order(user_id, product_id, quantity): # 类型验证 if not isinstance(quantity, int): raise ValueError("Invalid quantity type") # 范围验证 if quantity <= 0 or quantity > 100: raise ValueError("Invalid quantity range") # 业务规则验证 stock = get_product_stock(product_id) if stock < quantity: raise ValueError("Insufficient stock") # 价格验证 (从数据库获取,不从前端传入) price = get_product_price(product_id) total = Decimal(str(price)) * Decimal(str(quantity)) # 创建订单 order = create_order_in_db(user_id, product_id, quantity, total) return order # 2. 并发控制 from django.db import transaction @transaction.atomic def withdraw(user_id, amount): # 使用 select_for_update 锁定记录 user = User.objects.select_for_update().get(id=user_id) # 检查余额 if user.balance < amount: raise ValueError("Insufficient balance") # 扣减余额 user.balance -= amount user.save() # 创建提现记录 Withdraw.objects.create(user=user, amount=amount) # 3. 状态机实现 from django_fsm import FSMField, transition class Order(models.Model): status = FSMField(default='created') @transition(field=status, source='created', target='pending') def submit(self): pass @transition(field=status, source='pending', target='paying') def start_payment(self): pass @transition(field=status, source='paying', target='paid') def complete_payment(self): pass ``` --- ## 实战案例 ### 案例一:电商平台业务逻辑测试 #### 场景描述 ``` 客户:某电商平台 功能:商品/订单/支付 时间:2 周 ``` #### 测试过程 ``` Week 1: 业务流程分析 ┌─────────────────────────────────────────────────────────┐ │ - 流程映射 │ │ - 绘制订单流程 │ │ - 绘制支付流程 │ │ - 绘制退款流程 │ │ │ │ - 识别控制点 │ │ - 价格验证点 │ │ - 库存验证点 │ │ - 支付验证点 │ │ │ │ - 威胁建模 │ │ - 识别威胁场景 │ │ - 评估风险等级 │ │ - 确定测试优先级 │ └─────────────────────────────────────────────────────────┘ Week 2: 漏洞测试与验证 ┌─────────────────────────────────────────────────────────┐ │ - 支付逻辑测试 │ │ - 发现价格篡改漏洞 │ │ - 发现优惠券滥用漏洞 │ │ - 发现支付绕过漏洞 │ │ │ │ - 授权逻辑测试 │ │ - 发现越权访问漏洞 │ │ - 发现流程绕过漏洞 │ │ │ │ - 竞争条件测试 │ │ - 发现并发支付漏洞 │ │ - 发现库存超卖漏洞 │ │ │ │ - 报告与修复 │ │ - 编写测试报告 │ │ - 提交开发团队 │ │ - 协助修复 │ └─────────────────────────────────────────────────────────┘ ``` #### 发现的问题 ``` 严重 (5 个): ├── 1. 价格篡改漏洞 │ └── 可修改订单价格 ├── 2. 支付绕过漏洞 │ └── 可跳过支付步骤 ├── 3. 优惠券滥用漏洞 │ └── 可重复使用优惠券 ├── 4. 越权访问漏洞 │ └── 可访问其他用户订单 └── 5. 库存超卖漏洞 └── 并发购买可超卖 高 (8 个): ├── 6-10. 流程绕过漏洞 ├── 11-13. 状态篡改漏洞 中 (15 个): ├── 14-20. 验证漏洞 └── 21-28. 逻辑缺陷 低 (20 个): └── 其他优化建议 ``` ### 案例二:金融系统业务逻辑测试 #### 场景描述 ``` 客户:某金融机构 功能:转账/理财/贷款 时间:3 周 ``` #### 测试结果 ``` 发现: ├── 严重:3 个 │ ├── 并发转账漏洞 │ ├── 状态回退漏洞 │ └── 权限提升漏洞 ├── 高:10 个 │ ├── 流程绕过 │ ├── 验证缺失 │ └── 逻辑缺陷 ├── 中:20 个 │ ├── 边界问题 │ └── 异常处理 └── 低:30 个 建议: ├── 实施并发控制 ├── 完善状态机 ├── 加强验证逻辑 ├── 完善审计日志 └── 实施实时监控 ``` --- ## 总结与思考 ### 核心要点回顾 1. **业务逻辑漏洞危害严重** - 直接涉及资金 - 难以自动化检测 - 需要人工测试 2. **理解业务是关键** - 了解业务流程 - 识别关键控制点 - 识别敏感操作 3. **测试方法多样** - 参数篡改 - 流程绕过 - 状态篡改 - 并发测试 4. **工具辅助重要** - Burp Suite - 并发测试工具 - 自动化脚本 5. **防御需要多层** - 输入验证 - 业务规则 - 并发控制 - 审计监控 ### 实战建议 1. **对测试人员**: - 学习业务知识 - 掌握测试方法 - 使用合适工具 - 深入测试 2. **对开发人员**: - 安全设计 - 输入验证 - 并发控制 - 完善日志 3. **对组织**: - 业务安全培训 - 代码审查 - 定期测试 - 持续改进 --- ## 参考资料 ### 学习资源 - **OWASP Business Logic** - https://owasp.org/www-community/attacks/Business_logic_vulnerability - **OWASP Testing Guide** - https://owasp.org/www-project-web-security-testing-guide/ - **Business Logic Vulnerabilities** - https://portswigger.net/web-security/logic-flaws ### 工具资源 | 工具 | 用途 | 链接 | |------|------|------| | **Burp Suite** | 综合测试 | https://portswigger.net/burp | | **OWASP ZAP** | 综合测试 | https://www.zaproxy.org/ | | **Turbo Intruder** | 并发测试 | Burp 插件 | | **Postman** | API 测试 | https://www.postman.com/ | ### 书籍推荐 1. **《Business Logic Vulnerabilities》** - 业务逻辑漏洞权威指南 2. **《The Web Application Hacker's Handbook》** - 包含业务逻辑测试章节 3. **《Real-World Bug Hunting》** - 作者:Peter Yaworski - 实战漏洞挖掘 --- *365 天信息安全技术系列 | Day 258 | 渗透测试补充系列 | 业务逻辑漏洞测试* *创建时间:2026-04-12 | 作者:安全专家 · 严谨专业版*
myh0st
2026年4月13日 23:20
分享文档
收藏文档
上一篇
下一篇
微信扫一扫
复制链接
手机扫一扫进行分享
复制链接
Markdown文件
分享
链接
类型
密码
更新密码