检测项目

1.身份验证绕过：测试会话令牌强度（长度≥128bit）、多因素认证实现完整性（覆盖率≥95%）、失败锁定阈值（≤5次）

2.权限提升漏洞：验证角色继承机制（RBAC层级≤3级）、API接口鉴权粒度（操作级权限分离度100%）

3.业务流篡改：检查订单状态机完整性（状态转换校验覆盖率100%）、支付金额篡改防御（签名算法强度≥SHA-256）

4.输入验证缺陷：测试边界值处理（最大输入长度≥1024字符）、特殊字符过滤规则（OWASPTOP10过滤率100%）

5.并发竞争条件：验证库存扣减原子性（TPS≥5000事务/秒）、分布式锁有效性（锁超时时间≤500ms）

检测范围

1.Web应用程序：包括电商平台、金融交易系统等B/S架构系统

2.移动应用程序：Android/iOS原生应用及混合开发框架应用

3.API接口服务：RESTful/SOAP接口及GraphQL端点

4.微服务架构：基于SpringCloud/Dubbo的分布式系统交互模块

5.物联网应用平台：设备控制指令传输链路及边缘计算节点

检测方法

1.OWASPTestingGuidev4.2：执行业务逻辑漏洞全生命周期测试流程

2.ISO/IEC15408：评估安全功能需求(SFR)的实现符合性

3.GB/T30279-2020：采用漏洞分级分类方法进行风险量化评估

4.ASTME2818-19：实施状态迁移图建模与异常路径分析

5.GB/T34943-2017：开展多维度输入验证机制有效性验证

检测设备

1.BurpSuiteProfessionalv2023.6：支持自定义逻辑漏洞扫描策略的代理测试平台

2.OWASPZAP2.12：开源的自动化业务流爬取与漏洞识别系统

3.Acunetix15.6：具备深度AJAX爬取能力的逻辑漏洞扫描仪

4.Postman10.14：用于构造复杂API调用链的模拟测试工具

5.FiddlerEverywhere4.6：实时监控HTTPS流量的事务分析平台

6.MicroFocusFortify22.2：支持23种编程语言的静态代码分析系统

7.SynopsysCoverity2023.03：深度数据流跟踪的语义级缺陷检测工具

8.PortSwiggerTurboIntruder：高并发条件竞争漏洞压力测试模块

9.MITMproxy9.0.1：支持TLS1.3解密的中间人攻击模拟设备

10.Jmeter5.5：实施分布式业务逻辑负载测试的压力生成系统

北检(北京)检测技术研究院【简称：北检院】

报告：可出具第三方检测报告(电子版/纸质版)。

检测周期：7~15工作日，可加急。

资质：旗下实验室可出具CMA/CNAS资质报告。

标准测试：严格按国标/行标/企标/国际标准检测。

非标测试：支持定制化试验方案。

售后：报告终身可查，工程师1v1服务。

　　以上是与应用程序逻辑漏洞检测相关的简单介绍，具体试验/检测周期、检测方法和仪器选择会根据具体的检测要求和标准而有所不同。北检研究院将根据客户需求合理的制定试验方案。