re-android-crypto

Android 加密体系审计（crypto audit）

任务分类器（intent → 路径）

用户目的	路径
密钥来自 AndroidKeyStore / 硬件背书密钥	→ Keystore 审计（步骤 1）
定位加密调用点 / 拦截密文与明文	→ crypto hook（步骤 2）
分析第三方加密库（BoringSSL / OpenSSL / Tink / libsodium 等）	→ 库分析（步骤 3）

何时使用 / 何时不用

• 用：Android 应用加密体系审计——密钥体系（Keystore）、加解密调用链、库选型还原
• 用：getEncoded() 不可用的硬件背书密钥（须走审计而非提取密钥字节）
• 用：加密拦截时需记录密钥别名与用途（不记录密钥字节——安全边界）
• 不用：JNI/so 原生逻辑逆向（走 [[re-android-native]]）；通用加密算法识别（走 [[re-crypto-id]]）；通用密钥提取（[[re-crypto-keys]]，Keystore 硬件密钥除外）
• 不用：非 Android 平台（走通用 crypto 域 [[re-protocol]] 分支）
• 边界：本技能承接 Android crypto audit 全谱——Keystore/Cipher/KeyInfo/hook 为起点，BoringSSL/OpenSSL/Tink/libsodium 等第三方库分析归入本技能（步骤 3），不塞入 re-android-native

工具准备

所有工具先验证再使用。动态 hook 默认沙箱（[[re-analyze/platform-tips]] 最高原则）；静态审计可免沙箱。

frida（[[re-frida]]）—— crypto hook 主力

• 安装与验证见 [[re-frida]] 工具准备；脚本模板见 [[re-frida/frida-scripts]]
• 验证: frida --version

python3 / jadx —— 静态定位加密调用点

• python3 安装与验证见 [[re-python]] 工具准备
• jadx 安装与验证见 [[re-apk]] 工具准备

设备侧命令（[[re-apk]] adb 章节）

• adb shell 取应用运行态（KeyStore 枚举需应用进程内执行）

操作步骤

1. Keystore 审计（AndroidKeyStore 密钥体系）：

   // 应用进程内枚举（frida 注入或 jadx 反编译定位调用点）
   KeyStore ks = KeyStore.getInstance("AndroidKeyStore");
   ks.load(null);
   java.util.Enumeration<String> aliases = ks.aliases();
   

   • 遍历：aliases() 枚举全部条目（密钥别名 = 应用内引用键）
   • 条目属性：算法（AES/RSA/EC）、用途（encrypt/decrypt/sign/verify）、来源——KeyInfo.getSecurityLevel()（API 31+，返回 SOFTWARE / TRUSTED_ENVIRONMENT(TEE) / STRONGBOX 三档）；API 23–30 只有 isInsideSecureHardware()（布尔，TEE 与 StrongBox 同为 true，分不开）
   • 生物绑定：setUserAuthenticationRequired 的密钥在认证失败时不可用（绕过与检测见 [[re-analyze/anti-dynamic-workflow]]）
   • 产出：别名 → 算法/用途/硬件背书 清单（不记录密钥字节）

2. crypto hook（加密调用点拦截）：

   // frida：拦截加密调用点，记录算法/模式/密钥别名
   // 别名来源：Key 对象本身不携带别名（KeyStore 无 getKeyAlias），须在 getKey 处记录
   const KeyStore = Java.use('java.security.KeyStore');
   KeyStore.getKey.overload('java.lang.String', '[C').implementation = function (alias, password) {
     console.log('KeyStore.getKey', alias);
     return this.getKey(alias, password);
   };
   const Cipher = Java.use('javax.crypto.Cipher');
   Cipher.init.overload('int', 'java.security.Key', 'java.security.spec.AlgorithmParameterSpec').implementation =
     function (opmode, key, params) {
       console.log('Cipher.init', opmode, key.getClass().getName(), params);  // 对应别名见上方 getKey 输出
       return this.init(opmode, key, params);
     };
   // 另路取回别名：SecretKeyFactory.getInstance(key.getAlgorithm(), 'AndroidKeyStore')
   //   .getKeySpec(key, KeyInfo.class) → KeyInfo.getKeystoreAlias()
   

   • hook 目标：Cipher.init 系列（算法/模式/IV 来源）、KeyStore.getKey / getEntry（别名与用途）、Signature/Mac 初始化（验签/校验链）
   • 记录：别名与用途，不记录密钥字节（安全边界，见坑 2）
   • 静态定位辅助：jadx 搜 AndroidKeyStore / KeyStore.getInstance / Cipher.getInstance 调用点，与 hook 结果互证

3. 第三方加密库分析（BoringSSL / OpenSSL / Tink / libsodium 等）：

   • 识别：导入表/符号（SSL_*/EVP_*/crypto_*/sodium_* 前缀）+ jadx 依赖声明
   • 定位调用点：库 API 的 xref（静态）或 hook 库导出函数（动态）
   • 与 [[re-android-native]] 衔接：库以 .so 形态存在 → 其 JNI/内部逻辑走 [[re-android-native]]，本技能管加密语义（算法/密钥来源/用途）

4. 产出与存证：密钥体系图（别名/算法/用途/背书来源）+ 加密调用点清单 + hook 脚本，sha256 存档供 [[re-ioc]] 引用

跨域联合

• [[re-android-native]]：JNI/so 原生逻辑逆向（本技能的 .so 库内部逻辑承接方；Keystore 审计自其转出）
• [[re-frida]]：hook 执行层（[[re-frida/frida-scripts]] 模板）
• [[re-crypto-id]] / [[re-crypto-keys]]：算法识别与通用密钥提取（Keystore 硬件密钥除外——走本技能审计）
• [[re-apk]]：应用静态定位（jadx 调用点）
• [[re-mobile]]：工作流移动分支（加密审计子路径）

常见坑与陷阱

• 把 Keystore 当普通密钥提取：现象——getEncoded() 拿不到密钥字节，误判「密钥不存在」；原因——AndroidKeyStore 硬件背书密钥不可导出，这是设计而非缺失；对策——改走审计（步骤 1：别名/算法/用途/背书），不追求密钥字节
• TEE 与 StrongBox 混为一谈：现象——isInsideSecureHardware 为 true 就断言 StrongBox；原因——Secure Hardware 含 TEE 与 StrongBox 两级，该接口是布尔、分不开（isStrongBoxBacked 在 KeyGenParameterSpec 上，只管生成侧，KeyInfo 没有）；对策——API 31+ 用 KeyInfo.getSecurityLevel() 取 SOFTWARE / TEE / STRONGBOX 三档；API 23–30 无法细分，结论按「secure hardware（TEE 或 StrongBox）」标注层级
• 记录密钥字节：现象——hook 脚本把 Keystore 密钥内容打印/落盘；原因——把审计当提取，越过安全边界；对策——只记录别名与用途，密钥字节不落盘（见步骤 2 注）
• 库语义当 JNI 逻辑分析：现象——第三方加密库的 .so 被按 native 逻辑深挖而忽略加密语义；原因——域不清；对策——库 API 的加密语义（算法/密钥来源/用途）归本技能，内部实现细节才走 [[re-android-native]]