AI 自动化逆向三十六先找不加密的部分本文是「AI 自动化逆向」系列第 36 篇也是全系列的最后一篇。上一篇假设空间枚举的完备性是假设出来的。前言上一篇打的是最硬的仗——密码。这一篇把顺序反过来讲整卷也是整个系列最便宜的一条方法动手啃加密之前先清点——同一套协议栈里哪几段是完全不设防的因为协议 加密这个默认想象本身就是错的。同前几篇文中AI指执行分析的模型我指设定目标、审结果的人本篇只讲方法与自证思路不给任何具体参数。一、AI 在这里踩的坑把最贵的仗打在最便宜的地方AI 面对协议逆向这四个字默认整条协议栈都设了防——于是常常一上来就冲最硬的那一段密码、签名、校验去。而真实的分层是同一套协议栈里有的阶段完全明文。而且明文的往往正是入口段——握手、目录、列表这类不给它就没法往下走的阶段它们要解决的问题是让客户端连上来这个问题的答案不需要保密。把明文段当成也要破密码就是把最贵的仗打在最便宜的地方。正确的顺序是反的先把明文段的红利吃干。二、过程明文段红利的四种吃法① 清点先画一张明文 / 密文地图不走逐个消息猜加没加密而是先清点对每个阶段、每种消息先问三件事——它的字节形态像明文吗可读结构它的长度有没有整齐的规律未加密数据常有它能不能离线重放不跑目标也能验证。这个项目里的入口阶段就是纯明文一条请求、一条响应而且跨会话逐字节可重放——这意味着整个阶段可以搬进离线研究不必反复去开目标。成本一下就掉了一个量级。② 吃干把明文段变成免费的口径明文段的产出不只是读懂了这一段还有更值钱的字段含义直接读得出来不用拟合、不用枚举会话结构直接看得见响应可以离线重放——它成了后续所有实验的已知答案对照组第 5 篇那条担保纪律的弹药。③ 自证长度律——最便宜的健全性检查即便是密文段也不是无信息可挖帧长本身自带规律——整除性、长度区间、头长与载荷长的关系。把全部语料跑一遍这些长度律零违例本身就是一个很强的健全性信号而它的成本几乎为零。要把它摆对位置长度律当不了判决它抓不到语义但当得了门卫——解码器接错、组装错、截断这一关立刻红灯。便宜的门卫就该在门口站岗。④ 边界明文段里可能住着真世界——重放之前先清点这一条是整篇最要紧的安全边界。那份明文的入口响应里带着一长串指向外部的地址——大部分在实验环境里被替换成了本地版本但仍有相当一批是真的。于是逐字节重放这个红利是有方向性的在隔离环境里重放是红利把它带到别处它可能替你把车开回真世界。纪律写下来就两条伪造 / 重放之前先清点这份数据里的端点把真的替换成假的只喂回环版本。第 15 篇写操作要能收场的姐妹条读来的数据不设防放出去的数据要设防。三、判据与验证四条1. 清点先于攻坚。先画明文 / 密文地图再决定打哪一仗——能吃多少明文红利先吃多少。2. 明文段要吃出对照组。离线重放、逐字节核验——让它成为密文段实验的已知答案担保纪律的弹药。3. 长度律当门卫。违反 立刻红灯结构错全过 可信度上台阶——但明确它不是语义证明。4. 重放有方向性。带端点的数据先清点、再替换、只回环——能重放和该重放是两件事。四、结论把这条方法压成一句话协议的每个阶段保护力度不同——逆序吃先吃没设防的。然后是整个系列的收笔。三十六篇下来路是这么走过来的第 1–2 篇立住主题它的错误长得像结论——格式漂亮、语气确定、退出码 0第 3–13 篇把这个主题拆开它的产能有多真、人的位置在哪、它的每一种失效指标崇拜、吞错、常量、字段名、原点、分类冲动、重构都有可复现的机制第 14–21 篇把机制铸成审核协议空要有担保、结论要带置信度、写要能回退、闭环要能兑现、判据要改完就红第 22–36 篇把这套协议放进三个真实的战场格式、保护、协议——每一条方法都不依赖任何具体目标。全系列的死主题还是开头那一句AI 的产能是真的AI 的自信是假的。把产能变成可信的不是提示词是检查协议——以及愿意设计检查的人。系列到此收笔。文里所有的判据和纪律拿走就能用——它们不挑目标只挑用法。五、边界声明本文只讨论AI 自动化逆向中的判据设计与审核方法不涉及任何具体产品、厂商或服务的分析结论。文中所有地址、偏移、常量、字段名一律为占位符或示意值不代表任何真实目标中的取值示例代码为说明判据而编写不构成可运行的针对特定目标的工具。文中提到的比例与数字均来自作者项目内的测量记录仅用于说明方法失效的方式。请勿将本文内容用于未授权的用途。六、收尾全系列的目录与阅读顺序见系列第 1 篇开头的说明所有方法均已给出可迁移的形态未涉密的边界也已逐篇标明如果这套审核协议能让你的下一次 AI 协作少返工一轮这个系列就值了。本系列连载完毕。转载请注明出处https://lizhiyong.blog.csdn.net/article/details/169268978