offensive-crypto-attacks
Compare original and translation side by side
🇺🇸
Original
English🇨🇳
Translation
ChineseCryptographic Implementation Audit (offensive-crypto-attacks
)
offensive-crypto-attacks密码学实现审计 (offensive-crypto-attacks
)
offensive-crypto-attacksAuthorization & 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 统一安全与逆向工程套件 的一部分。它专为针对您拥有或已获得明确测试许可的软件、基础设施和资产开展 授权安全评估、防御性架构审查、漏洞分诊、漏洞赏金验证和修复工程 而设计。
Overview
概述
Applied cryptography implementation auditing covering ECB/CBC padding oracle elimination, AEAD (AES-GCM, ChaCha20-Poly1305) nonce uniqueness, constant-time comparisons, CSPRNG usage, and Argon2id/scrypt password hashing.
应用密码学实现审计,涵盖消除 ECB/CBC 填充预言机、确保 AEAD(AWS-GCM、ChaCha20-Poly1305)nonce 唯一性、常量时间比较、CSPRNG 使用,以及 Argon2id/scrypt 密码哈希。
Operational Workflow
操作工作流
- Surface & Architecture Inventory
- Identify all entrypoints, trust boundaries, parsers, and configuration files relevant to Cryptographic Implementation Audit (domain).
crypto - Combine static code/binary inspection (via REA MCP tools, , AST analysis, or decompilation) with runtime configuration verification.
rg
- Identify all entrypoints, trust boundaries, parsers, and configuration files relevant to Cryptographic Implementation Audit (
- 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.
- 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.
- 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.
- 攻击面与架构盘点
- 识别与 密码学实现审计(领域)相关的所有入口点、信任边界、解析器和配置文件。
crypto - 将静态代码或二进制检查(通过 REA MCP 工具、、AST 分析或反编译)与运行时配置验证相结合。
rg
- 识别与 密码学实现审计(
- 假设与漏洞验证
- 根据已知的 CWE 和 OWASP 模式,系统地测试每项安全不变量。
- 记录具体证据:受影响的文件或过程、行号或二进制偏移量、请求与响应跟踪,以及根本原因。
- 影响与可达性分诊
- 评估问题是否可跨信任边界触发,纵深防御控制是否能够缓解该问题,并计算准确的 CVSS v3.1 / v4.0 评分。
- 修复与回归验证
- 实施修复,或提供生产级、可直接复制使用的修复代码。
- 编写自动化回归测试或验证命令,证明缺陷已修复且未产生任何回归问题。
Audit & Verification Checklist
审计与验证检查清单
| Phase | Check | Verification Method | Expected Secure State |
|---|---|---|---|
| 1. Discovery | Enumerate all | Source search / REA binary & bundle inspection | Complete inventory of trust boundaries |
| 2. Input & State | Validate parser behavior, type safety, and state transitions | Boundary testing & static taint analysis | Strict schema validation and invariant checks |
| 3. Auth & Isolation | Verify caller identity, tenant isolation, and least privilege | Horizontal/vertical privilege matrix check | Explicit deny-by-default enforcement |
| 4. Defense-in-Depth | Inspect secondary controls, logging, and compiler/runtime flags | Config & header/binary flag audit | Full hardening and telemetry enabled |
| 5. Remediation | Apply fix and execute automated regression test | | 0 vulnerabilities, 0 build errors |
| 阶段 | 检查项 | 验证方法 | 预期安全状态 |
|---|---|---|---|
| 1. 发现 | 枚举所有 | 源代码搜索 / REA 二进制与包检查 | 完整盘点信任边界 |
| 2. 输入与状态 | 验证解析器行为、类型安全和状态转换 | 边界测试与静态污点分析 | 严格的 schema 验证和不变量检查 |
| 3. 身份验证与隔离 | 验证调用方身份、租户隔离和最小权限原则 | 水平与垂直权限矩阵检查 | 显式实施默认拒绝策略 |
| 4. 纵深防御 | 检查辅助控制措施、日志记录以及编译器与运行时标志 | 配置、header 与二进制标志审计 | 全面启用加固和遥测功能 |
| 5. 修复 | 应用修复并执行自动化回归测试 | | 0 个漏洞,0 个构建错误 |
Integration with REA MCP & Tooling
与 REA MCP 及工具链的集成
- Static & Binary Analysis: Pair with ,
rea-universal-orchestrator,rea-binary-disassembly, orrea-web-bundle-recoverywhen source code is unavailable.rea-mobile-app-recovery - Interactive Scoping: Invoke before large-scale assessments to clarify scope, target environments, and acceptance criteria.
/rea-grill-me - Reporting: Pair with to format findings with CVSS vectors, CWE mappings, and remediation patches.
offensive-reporting
- 静态与二进制分析: 当源代码不可用时,与 、
rea-universal-orchestrator、rea-binary-disassembly或rea-web-bundle-recovery配合使用。rea-mobile-app-recovery - 交互式范围界定: 在开展大规模评估之前调用 ,以明确范围、目标环境和验收标准。
/rea-grill-me - 报告: 与 配合使用,以 CVSS 向量、CWE 映射和修复补丁的形式呈现审计发现。
offensive-reporting