万剑诀-CSDN博客

原创安卓逆向全攻略：从 APK 底层原理到高阶分析技巧深度剖析

Java/Kotlin 源代码经过编译后，会生成 `.class` 文件，最终被 Dx 工具转换成 Dalvik 字节码，存储在 `.dex` 文件中。`res/` 存放资源文件（图片、XML 布局），而 `resources.arsc` 是资源的索引表。通常按 CPU 架构分文件夹存放，如 `armeabi-v7a`、`arm64-v8a`、`x86`。这是应用的“身份证”。存放签名信息，包括 `MANIFEST.MF`（文件摘要）、`CERT.SF`（签名序列）和 `CERT.RSA`（公钥）。

2026-05-20 15:14:10 372

原创线性伪随机数生成器的安全性分析与破解研究：以 LCG 与 LFSR 为例

在解题过程中，应首先通过数据特征进行定性分析：1. 大整数余数序列：判定为 LCG 变体。若模数为 2 的幂且输出截断，直接套用 LLL 脚本。2. 二进制 0/1 序列：判定为 LFSR。若序列较长且为单路，首选 BMA；若序列由多个小寄存器组合，考虑相关分析或代数攻击。

2026-05-12 16:43:08 340

原创 AES-ECB模式结构性漏洞深度解析：从数学建模到自动化利用实战

分组密码是一种将明文序列划分为固定长度的分组，并在密钥控制下通过非线性变换产生等长密文分组的加密技术。AES标准定义其分组长度固定为128位（16字节）。在数学层面上，我们可以将AES加密看作一个映射函数：其中，n为分组长度（128位），k为密钥长度（128、192或256位）。对于每一个确定的密钥K，该函数表现为一个置换，即对于不同的明文分组，其产生的密文分组也是唯一的且一一对应的。

2026-05-06 14:37:31 343

原创 SMT 求解器实战：基于 Z3 的非线性代数、逻辑约束建模与形式化验证深度解析

它将复杂的位运算（如 64 位加法、异或、位移）转化为底层的布尔逻辑门电路（AND/OR/NOT），从而利用极度优化的 SAT 引擎进行秒级求解。1. Unsat Core：通过为约束命名（如 `s.add(c1, "rule_1")`），当结果为 unsat 时，调用 `s.unsat_core()` 可以定位出导致逻辑冲突的最简约束集合。2. 理论传播：通过不同理论之间的信息交换（如线性算术理论与数组理论的交互），Z3 可以在搜索过程中提前剪掉大量不可能满足的分支，极大提升了搜索效率。

2026-04-28 16:33:09 374

原创格基规约优化：LLL 算法中的权重平衡、量级对齐与几何解析

这种拉伸改变了格的超椭球体形状，使得原本在某个方向上物理距离较长、但在解空间意义上“短”的向量，在变换后的空间中真正成为欧几里得范数意义下的“最短”向量。如果格向量的某个分量 v1 对应的是一个巨大的模数（如 2^1024），而另一个分量 v2 对应的是我们关心的微小变量（如 2^32），那么 LLL 在规约过程中，为了减小整体范数，会优先压缩 v1。我们的目标是使得矩阵中所有分量的量级在预期的“正确解”位置达到平衡，从而引导算法在正确的搜索方向上收敛。在构造格矩阵 B 时，每一列通常代表一个约束维度。

2026-04-28 16:27:49 358

原创 RSA 安全性审计：基于费马小定理、阶引理与近似 phi(n) 的因子分解深度解析

4. 寻找序列中的临界点：如果存在某个 vi，满足 vi 不等于 +- 1 (mod n) 且 v(i+1) = 1 (mod n)，那么根据数论基本定理，gcd(vi - 1, n) 必定能提取出 n 的非平凡质因子。由此引出一个关键结论：若我们已知一个整数 K 满足 phi(n) 是 K 的因子（即 K = m * phi(n)），那么对于任意 a，a^K = 1 (mod n) 同样成立。1. 已知私钥 d：由于 ed - 1 = k * phi(n)，所以 ed-1 必然是 phi(n) 的倍数。

2026-04-24 13:05:08 393

原创多元多项式方程组消元理论：结式的构造与应用

它们的结式 $Res(f, g, x)$ 定义为其西尔维斯特矩阵的行列式。西尔维斯特矩阵是一个 $(n+m) \times (n+m)$ 的矩阵，由 $f$ 和 $g$ 的系数交错排列而成。2. 若 $f, g \in K[x, y]$，则 $Res(f, g, x)$ 是 $K[y]$ 中的多项式。其根即为原方程组公共根的 $y$ 坐标。1. $Res(f, g, x) = 0$ 当且仅当 $f$ 和 $g$ 在闭域内存在公共根。求解二元多项式方程组 f(x,y)=0, g(x,y)=0。

2026-04-24 12:24:36 393

sxfx9999的博客