Havenlon｜安全讲人话（十三）：日志不是证据，执行过程才是证据

事后记录不能替代事前约束。先讲一个改变了整个互联网信任方式的真事。2011 年荷兰的证书颁发机构 DigiNotar 被攻破。攻击者拿下了它全部 8 台签发服务器偷偷签发了至少 531 张伪造证书其中包括一张*.google.com的通配符证书被用来在伊朗大规模拦截 Gmail 流量。可怕的是——从技术流程上看这些证书完全合法格式正确、签名有效、由一个受信任的权威签发。DigiNotar 的日志系统也许记录了这一切但那又怎样一个被信任的权威在悄悄作恶它自己写的日志凭什么可信这件事催生了一整套沿用至今的机制——证书透明度Certificate Transparency, CT。它的核心思想恰恰是本篇的主题仅仅记录是不够的。记录必须变成任何人都能独立验证、且无法被偷偷篡改的证据而且要在被信任之前就成立。很多企业相信系统只要日志够完整出了问题总能查出来谁登录了、谁点击了、谁审批了、谁修改了、什么时候执行的。很多安全方案也把日志完整当成一种安全能力。但仔细想一层就会发现问题日志能证明一件事发生过却不一定能证明它为什么发生更不能证明它本来就应该发生。真正的证据不应该只是在事情结束后写下一段记录。真正的证据应该存在于事情发生的整个过程里。一、日志记录的是历史不是约束日志最大的作用是记录昨天谁登录、今天谁审批、下午谁改了配置、晚上谁删了数据。这些信息很重要没有日志企业几乎无法审计很多安全事件也正是靠日志完成复盘。但日志有一个天然限制它只能记录已经发生的事情它不能阻止事情发生。一笔错误转账已经完成日志能告诉你是谁操作的、什么时候、金额多少、用了哪个账号——但钱已经出去了日志不会因为记录得够完整就把钱带回来。所以定位很清楚日志属于事后能力它不是执行控制。这正是第三篇讲过的区别——日志提供的是不可否认性non-repudiation门闩提供的是可阻止性preventability。一个只有事后说明能力的系统是监控摄像头不是门闩。二、很多日志其实是系统自己写给自己看的还有一件容易被忽略的事绝大多数日志都是系统自己生成的——应用写日志数据库写日志审批系统写日志AI Agent 写日志SaaS 写日志执行程序写日志。于是一个致命问题来了如果这个系统已经被攻击者控制谁来保证日志还可信攻击者可以删除日志、关闭日志、延迟上传、修改时间、补写日志甚至让日志看起来比真实过程还完整。这不是理论——在攻防框架 MITRE ATTCK 里清除/篡改日志是一个标准战术编号T1070Indicator Removal痕迹清除几乎是每一次成熟入侵的规定动作。前面讲过的例子也都印证了它Stuxnet 让 PLC 谎报一切正常第十篇Ubiquiti 的内鬼直接动了自己有权限的日志系统第九篇。所以结论很硬日志本身并不是证据它只是某个系统对历史的描述。如果描述者本身已经不可信那么它的描述自然也需要重新审视。三、真正危险的是日志没有说谎但也没有说完整比篡改日志更常见的是另一种情况——日志完全真实却依然说明不了问题14:01 AI 发起付款申请 14:03 审批通过 14:05 系统完成签名 14:05 交易广播成功这几条日志全是真的。但它们回答不了真正重要的问题AI 为什么认为应该付款审批人当时看到的是什么签名前参数有没有变化最终广播出去的数据是不是审批时看到的那份数据日志没有撒谎它只是没有回答关键问题。因为它记录的是一个个孤立的动作而不是动作之间的关系。而几乎所有执行事故回想第四篇 Bybit、第六篇地址投毒恰恰就藏在动作之间的关系里——每一步单独看都合法连起来却已经偏离。四、真正需要证明的是它还是同一件事假设一个用户说给 A 公司付款一万元。 AI 理解后生成付款请求审批人批准系统签名最后广播。真正重要的问题不是这些步骤有没有发生而是——最后广播出去的那笔交易是不是最开始那件事情金额变了吗地址变了吗Token 变了吗网络变了吗时间变了吗上下文变了吗如果中间任何一步发生了变化那么前面的审批还能不能继续有效这才是真正需要证明的内容。不是事情发生了而是发生的是不是原来的那件事情。用一个词概括这叫一致性integrity与来源可追溯性provenance——不仅要知道结果还要能证明结果忠实地来自最初的意图。五、真正的证据是一条连续的、密码学锁死的链现实世界里为什么很多文件要骑缝盖章、要页码连续因为它要证明第一页、第二页、最后一页属于同一份文件中间没有被抽换。执行安全也一样。真正的证据不是最后留一条日志而是一条连续的、环环相扣的链Intent ──► Policy ──► Approval ──► Payload ──► Execution ──► Evidence │hash │hash │hash │hash │hash │ └──────────┴───────────┴────────────┴────────────┴──────────────┘ 每一条都包含上一条的哈希任何一环被替换/重写整条链的校验立刻崩掉这不是比喻而是一种成熟的密码学结构——哈希链hash chain/ 默克尔树Merkle tree也正是开篇证书透明度用来做到append-only、防篡改的底层机制。每一步都能证明自己来自上一层没有被替换没有被重写没有被偷偷换成另一件事。真正需要保护的不是最后那个结果而是——整个执行过程没有断开。六、为什么 Havenlon 一直强调 Intent很多人第一次看 Havenlon 会问为什么一直强调 Intent直接看最终交易不就好了因为很多攻击根本不改最后一步它改的是最开始的意思用户说付款给供应商。AI 理解成付款给最新地址。审批看到正常供应商付款。执行看到最新地址。日志记录付款成功。如果没有把 Intent 纳入证据链系统永远不知道最开始用户真正想做什么。所以真正的证据不是交易、不是签名、不是日志而是——从 Intent 一直到 Execution有没有始终保持一致。这套思路在软件供应链安全里已经有成熟的工业实践叫in-toto / SLSA 溯源证明provenance attestation先由 owner 签署一份布局layout相当于 Intent Policy然后每一步构建都生成密码学签名的证明attestation最后用布局去校验所有证明是否环环对得上。它证明的不是构建成功了而是这个产物确实由那份源码、经那条被批准的流程产生中途没有被掉包。把它从软件构建平移到AI 执行就是 Havenlon 的证据链。七、日志可以补写执行过程不能补写日志有一个特点它可以后来再写、重新整理、重新排序、重新上传。但真正的执行过程不能重新发生一次。付款已经完成服务器已经重启权限已经提升数据已经导出——这些动作都已经进入现实。所以真正有价值的证据应该随着执行一起产生不是事情结束后再总结而是每经过一道关键边界就留下一个不可否认的状态。这样后来任何人都不能重新编造一个新的历史。技术上这对应在执行现场生成、并当场签名的证据——比如由硬件边界Enigma用自己的密钥对我此刻放行/拒绝了这个动作、参数是这些做一次签名并锁进哈希链。这类似可信硬件里的远程证明remote attestation不是我事后声称我做了什么而是我在做的当下生成了一份你能独立验证的证明。八、真正的证据不属于任何一个系统企业还有一个误区认为日志服务器就是证据中心。如果业务系统写日志、审批系统写日志、AI Agent 写日志、SaaS 汇总日志——那么所有证据仍然来自软件自己。真正可信的证据应该来自不同来源、不同信任域、不同角色业务知道用户最初想做什么Intent审批知道组织同意了什么ApprovalSaaS 知道策略是什么PolicyEnigma 知道最后真正执行了什么Execution。没有任何一个系统能够单独定义全部历史。这才是真正的证据链——它的可信恰恰来自没有单一方能独自伪造它回想第九篇掌握执行权的人不该同时掌握历史解释权第十一篇证据不能只由 SaaS 自己证明。这也正是证书透明度的精髓证书由 CA 签发但必须记进独立的、公开可审计的日志让作恶无处藏身。九、Evidence不是 Log所以在 Havenlon 里我们刻意不叫它 Log Center、Audit Log 或 History而更愿意叫Evidence证据。Log 和 Evidence 最大的区别是什么Log 说的是我记录了一件事情。Evidence 说的是我能够证明一件事情。这两个词根本不在一个层级。日志是一段文字证据是一种可验证的关系日志可以存在证据必须成立。一段可以被作者随意改写的文字不构成证据一条任何人都能独立验证、且改一个字节整条链就崩的密码学关系才构成证据。十、为什么 Evidence Store 不是日志服务器很多人第一次看到 Havenlon 的 Evidence Store会以为它就是个日志数据库。其实完全不是。Evidence Store 保存的不是今天执行成功而是每一次执行为什么能够发生Intent 是什么、Policy 是什么、Approval 来自哪里、最终 Payload 是什么、执行结果是什么、上一条证据是谁、下一条证据是谁。每一条证据都能和前后关联任何一步发生替换整条链都会断掉。所以 Evidence Store 保存的不是历史而是——历史之间的连续关系。用第五节那张图来说它存的是那一串hash而不只是那几行事件。十一、未来真正重要的不是谁写了日志而是谁能证明执行AI 时代日志只会越来越多——Agent 写、模型写、工具写、SaaS 写系统每天可能产生几十亿条记录。真正的问题已经不是有没有日志而是哪一条能够证明最终执行。未来企业真正需要回答的也许不再是是谁点了确认而是这一次执行从 Intent 到最终结果中间有没有发生任何不可解释的变化如果能够证明没有这才是真正的执行证据。在 AI Agent 大量替人行动的世界里这种可证明的执行会从一个合规选项变成一个刚需——因为当动作是机器发起的你唯一能追回信任的方式就是能独立验证它做的就是它被授权做的。十二、日志不是证据执行过程才是证据日志当然重要审计重要复盘也重要。但它们都发生在事情已经结束之后。真正成熟的执行安全不能把希望寄托在出了事以后总能查出来而应该把重点放在——事情发生之前就让整个执行过程始终保持可验证。这也是 Havenlon 一直强调 Evidence Chain、而不是 Audit Log 的原因日志记录的是历史而证据保护的是历史为什么能够成为历史。真正值得相信的不是一段事后写下来的文字而是从 Intent 到 Execution 的每一步都能证明最终发生的始终是最开始想发生的那件事。DigiNotar 的日志或许一应俱全但它证明不了那 531 张证书本就不该存在。证书透明度用一条谁都改不动的链回答了这个问题——而 AI 时代的每一次高风险执行都需要同样一条链。这是《Havenlon安全讲人话》系列的第十三篇。下一篇我们谈一个更本质、也更反直觉的能力在一个所有人都在比更快开始的时代为什么能停下来才是最稀缺的能力。参考来源本文引用的真实事件与技术概念Certificate Transparency — WikipediaBeyond the Padlock: Why Certificate Transparency is Reshaping Internet Trust — InfoQin-toto and SLSA — slsa.devIndicator Removal (T1070) — MITRE ATTCK