Back to Details

offensive-krack-fragattacks

Compare original and translation side by side

🇺🇸

Original

English
🇨🇳

Translation

Chinese

802.11 Protocol Patch Verification (
offensive-krack-fragattacks
)

802.11 协议补丁验证 (
offensive-krack-fragattacks
)

Authorization & Scope Notice: This skill is part of the REA_Skill + claude-red Unified Security & Reverse Engineering Suite. It is designed strictly for authorized security assessments, defensive architecture reviews, vulnerability triage, bug bounty verification, and remediation engineering on software, infrastructure, and assets you own or have explicit permission to test.
授权与范围声明： 此 skill 属于 REA_Skill + claude-red Unified Security & Reverse Engineering Suite。它严格用于对您拥有或已获得明确测试许可的软件、基础设施和资产开展授权安全评估、防御性架构审查、漏洞分诊、漏洞赏金验证和修复工程。

Overview

概述

802.11 supplicant and access point firmware vulnerability auditing for Key Reinstallation Attacks (KRACK) and Fragmentation/Aggregation vulnerabilities (FragAttacks), verifying CVE patch compliance across enterprise endpoints.
针对 Key Reinstallation Attacks (KRACK) 和 Fragmentation/Aggregation vulnerabilities (FragAttacks) 的 802.11 supplicant 与 access point 固件漏洞审计，并验证企业端点的 CVE 补丁合规性。

Operational Workflow

操作工作流

  1. Surface & Architecture Inventory
    • Identify all entrypoints, trust boundaries, parsers, and configuration files relevant to 802.11 Protocol Patch Verification (
      wireless
      domain).
    • Combine static code/binary inspection (via REA MCP tools, 
      rg
      , AST analysis, or decompilation) with runtime configuration verification.
  2. Hypothesis & Vulnerability Verification
    • Test each security invariant systematically against known CWE and OWASP patterns.
    • Record concrete evidence: affected file/procedure, line numbers or binary offsets, request/response trace, and root cause.
  3. Impact & Reachability Triage
    • Evaluate whether the issue is reachable across trust boundaries, whether defense-in-depth controls mitigate it, and compute an accurate CVSS v3.1 / v4.0 score.
  4. Remediation & Regression Verification
    • Implement or provide production-ready, copy-pasteable remediation code.
    • Write an automated regression test or verification command to prove the flaw is resolved with 0 regressions.
  1. 攻击面与架构清单
    • 识别所有与 802.11 协议补丁验证相关的 entrypoints、trust boundaries、parsers 和配置文件（
      wireless
      领域）。
    • 将静态代码/二进制检查（通过 REA MCP 工具、
      rg
      、AST analysis 或 decompilation）与运行时配置验证相结合。
  2. 假设与漏洞验证
    • 根据已知的 CWE 和 OWASP 模式，系统性地测试每项安全不变量。
    • 记录具体证据：受影响的文件/过程、行号或二进制偏移量、request/response trace 以及根本原因。
  3. 影响与可达性分诊
    • 评估问题是否可跨越 trust boundaries 到达、defense-in-depth 控制措施能否缓解该问题，并计算准确的 CVSS v3.1 / v4.0 分数。
  4. 修复与回归验证
    • 实施修复，或提供生产可用、可直接复制粘贴的修复代码。
    • 编写自动化回归测试或验证命令，证明漏洞已解决且存在 0 regressions。

Audit & Verification Checklist

审计与验证检查清单

PhaseCheckVerification MethodExpected Secure State
1. DiscoveryEnumerate all 
wireless
surfaces and dependencies		Source search / REA binary & bundle inspectionComplete inventory of trust boundaries
2. Input & StateValidate parser behavior, type safety, and state transitionsBoundary testing & static taint analysisStrict schema validation and invariant checks
3. Auth & IsolationVerify caller identity, tenant isolation, and least privilegeHorizontal/vertical privilege matrix checkExplicit deny-by-default enforcement
4. Defense-in-DepthInspect secondary controls, logging, and compiler/runtime flagsConfig & header/binary flag auditFull hardening and telemetry enabled
5. RemediationApply fix and execute automated regression test
npm test
/ toolchain build & test suite		0 vulnerabilities, 0 build errors
阶段检查项验证方法预期安全状态
1. 发现枚举所有 
wireless
攻击面及依赖项		源代码搜索 / REA 二进制与 bundle 检查完整梳理 trust boundaries
2. 输入与状态验证 parser 行为、类型安全和状态转换边界测试与静态 taint analysis严格的 schema 验证和不变量检查
3. 身份验证与隔离验证调用方身份、tenant isolation 和 least privilege横向/纵向权限矩阵检查强制执行显式 deny-by-default
4. Defense-in-Depth检查次级控制措施、日志记录及 compiler/runtime flags配置与 header/binary flag 审计全面启用加固措施和 telemetry
5. 修复应用修复并执行自动化回归测试
npm test
/ toolchain 构建与测试套件		0 个漏洞，0 个构建错误

Integration with REA MCP & Tooling

与 REA MCP 及工具的集成

  • Static & Binary Analysis: Pair with 
    rea-universal-orchestrator
    , 
    rea-binary-disassembly
    , 
    rea-web-bundle-recovery
    , or 
    rea-mobile-app-recovery
    when source code is unavailable.
  • Interactive Scoping: Invoke 
    /rea-grill-me
    before large-scale assessments to clarify scope, target environments, and acceptance criteria.
  • Reporting: Pair with 
    offensive-reporting
    to format findings with CVSS vectors, CWE mappings, and remediation patches.
  • 静态与二进制分析： 在无法获得源代码时，与 
    rea-universal-orchestrator
    、
    rea-binary-disassembly
    、
    rea-web-bundle-recovery
    或 
    rea-mobile-app-recovery
    配合使用。
  • 交互式范围界定： 在开展大规模评估前调用 
    /rea-grill-me
    ，以明确范围、目标环境和验收标准。
  • 报告： 与 
    offensive-reporting
    配合使用，通过 CVSS vectors、CWE mappings 和修复补丁来格式化审计发现。