安全与密码学2025arxiv.org
现代 iOS 安全特性：深入解析 SPTM、TXM 与 Exclaves
Modern iOS Security Features – A Deep Dive into SPTM, TXM, and Exclaves
进阶 · 约 90 分钟读完前置知识：操作系统内核基础、ARM 架构与特权级、iOS 安全机制基础
导读
这篇论文深入剖析了苹果 iOS 现代安全架构中的三个核心机制：SPTM（安全页表监控）、TXM（可信执行管理器）以及 Exclaves（隔离执行环境）。文章梳理了这些机制如何在硬件与内核层面协同工作，以保护内核完整性和敏感任务的隔离执行。
HN 关注点：HN 读者长期关注 iOS 安全架构的演进，这篇论文系统性地解读了苹果近年引入的底层安全机制，引发了关于安全设计复杂度与垂直整合优势的讨论。
HN 评论精选
这几条评论里：支持 1 质疑 2 补充 1
质疑质疑 iOS 安全的复杂性是否是历史包袱的累积，而非最优设计
每次读到 iOS 安全相关内容，我都会惊讶于其复杂度：硬件层、内核层、各种类型的沙箱。这是否只是在历史上那些假设信任的架构决策上贴的胶带？如果从零开始设计，能否做出复杂度更低的系统？有没有操作系统是按这种方式设计的？
bfirsh查看英文原文
Whenever I read about it, I am surprised at the complexity of iOS security. At the hardware level, kernel level, all the various types of sandboxing. Is this duct tape over historical architectural decisions that assumed trust? Could we design something with less complexity if we designed it from scratch? Are there any operating systems that are designed this way?
支持苹果的垂直整合使其能快速落地硬件级安全特性，这是 Android 生态难以企及的
苹果 SEAR 团队在 iOS 安全上做得非常出色，值得高度赞扬。他们不仅愿意开发硬件特性并贯穿整个技术栈，还愿意研究野外（ITW）漏洞利用并加以缓解。PPL 就很有意思——他们发现它不是 100% 有效后，就放弃它并想出了其他方案。苹果的垂直整合让这一切比 Android 容易得多：Android 需要说服高通或联发科的 CPU 团队做特性、说服 Linux 内核接受、进 AOSP、进上游 LLVM 等等。指针认证码（PAC）就是好例子——苹果干脆自己动手，维护了一个 LLVM 下游分支，构建了完整支持，并针对野外绕过手段持续修复。
Moral_查看英文原文
SEAR and the Apple team does an excellent job of security on iOS, and should be commended greatly on that. Not only are they willing to develop hardware features and plumb that throughout the entire stack, they're willing to look at ITW exploits and work on ways to mitigate that. PPL was super interesting, they decided it wasn't 100% effective so they ditched it and came up with other thigs. Apple's vertical makes it 'easy' to do this compared to Android where they have to convince the CPU guys at QC or Mediatek to build a feature, convince the linux kernel to take it, get it in AOSP, get it in upstream LLVM, etc etc. Pointer authentication codes (PAC) is a good example, Apple said f-it we'll do it ourselves. They maintained a downstream fork of LLVM, and built full support, leveraged in the wild bypasses and fixed those up.
补充补充信息：苹果同期宣布扩大漏洞赏金计划
loosely 相关：在 Hexacon 大会上 Ivan Krstić 的主题演讲中，苹果还宣布扩大了其漏洞赏金计划。
darkamaul查看英文原文
Loosely related, but they also announced an increase in their bug bounty program during Ivan Krstić's Keynote at Hexacon. [0] [0] https://security.apple.com/blog/apple-security-bounty-evolved/
质疑质疑：苹果安全形象与其更新/应用启动仍用未加密连接的做法相矛盾
他们修复了系统更新和应用启动时使用普通未加密连接的问题吗？
fsflover查看英文原文
Have they fixed regular, unencrypted connections on updates and apps launch yet? https://sneak.berlin/20231005/apple-operating-system-surveillance/
历次讨论
- 2025Hacker News 讨论帖237 分 · 32 评
同领域还值得读
如何入侵一台已关机的电脑：在 Intel ME 中运行未签名代码
How to hack a turned-off computer, or running unsigned code in Intel ME
这篇 Black Hat 2017 白皮书讨论 Intel Management Engine（ME）的安全问题：如何在 ME 中运行未签名代码，以及攻破处于关机状态的电脑的相关…
安全与密码学2017 · 543 分 · 107 评专业 · 约 40 分钟编辑精选比特币：一种点对点的电子现金系统（2008）
Bitcoin: A Peer-to-Peer Electronic Cash System (2008)
中本聪 2008 年发表的比特币白皮书，提出了无需可信第三方的点对点电子现金系统。
安全与密码学2017 · 536 分 · 394 评入门 · 约 45 分钟编辑精选GPRS 加密算法 GEA-1 的密码分析表明存在故意弱点
Cryptanalysis of GPRS Encryption Algorithms GEA-1 suggest intentional weakness
首次公开了对 GPRS 加密算法 GEA-1 和 GEA-2 的密码分析攻击。
安全与密码学2021 · 487 分 · 107 评专业 · 约 90 分钟编辑精选Signal 消息协议的形式化安全分析
A Formal Security Analysis of the Signal Messaging Protocol
用形式化方法分析 Signal 消息协议（TextSecure）的安全性：作者在多阶段密钥交换模型下，借助自动化证明工具对协议的密钥协商与 Double Ratchet 密钥更新…
安全与密码学2016 · 353 分 · 230 评专业 · 约 120 分钟编辑精选A2：模拟恶意硬件
A2: Analog Malicious Hardware
论文研究如何在芯片设计阶段植入模拟电路形式的恶意硬件后门，使其难以被常规检测发现。
安全与密码学2016 · 315 分 · 94 评专业 · 约 75 分钟编辑精选