南京大学 操作系统 (JYY) 学习笔记:系统安全、访问控制与惊心动魄的侧信道攻击

发布时间:2026/9/22 22:54:53

南京大学 操作系统 (JYY) 学习笔记:系统安全、访问控制与惊心动魄的侧信道攻击 写在前面这是本系列的第二十六篇。在操作系统 API 上我们可以构建命令行工具、编译器、数据库、浏览器等丰富的应用。当越来越多用户开始共享计算机、越来越多的应用出现在操作系统中隔离用户的权限就成为了非常重要的需求“黑客” 也随之登上了历史的舞台。本讲内容我们将探讨现代操作系统中的访问控制机制以及在“绝对安全”的系统设计之外黑客是如何利用幽灵般的硬件侧信道漏洞如 Meltdown完成降维打击的。计算机系统安全简介从“裸奔”到现代防护PC“裸奔”时代8086, Real-Mode (实模式)16-bit CS, 16-bit IP, 物理地址PC (CS 4) IP(只有 1 MB 的寻址能力)。固件代码 (Firmware code) 直接映射到地址空间中。int $x \rightarrow ((void(*)())(x \times 4))();这就是 16-bit 时代简陋的“系统调用”。完全没有任何安全可言任何程序都可以访问任何硬件。这造就了早期病毒的狂欢病毒可以随意复制自己然后感染更多的计算机“加壳”技术。例子著名的 CIH 病毒甚至能直接破坏主板的 BIOS 硬件芯片安全不裸奔的三大基石 (CIA Triad)现代信息安全建立在三个核心支柱之上1. Confidentiality (机密性)不想给别人看的别人就看不到。(比如快速格式化后如何保证数据不被恢复)2. Integrity (完整性)不想让别人改的别人就改不了。(你们的师兄“如何通过入侵老师邮箱拿到期末考卷和修改成绩…”)3. Availability (可用性)属于我的别人不能让我用不了。“Denial-of-service” (DoS) 拒绝服务攻击发送海量请求堵死服务器带宽导致正常用户无法服务。使用fork恶意拉起无数个线程耗尽系统内存和 PID 空间使得正常功能不能运行。经典 Fork bomb (Bash 炸弹)::(){ :|: };:Algorithmic complexity attack; 例子Hash table 碰撞攻击。Distributed DoS (DDoS) 分布式拒绝服务。安全是个巨大的主题软件 硬件协同设计参阅顶会 IEEE SP (Oakland) 2025分页机制和进程隔离系统调用和访问控制鉴权与授权加密审计与日志机密计算 (TEE)……今天我们只问一个问题操作系统的设计者如何在基础“功能”之上优雅地实现 Confidentiality, Integrity, Availability访问控制 (Access Control)访问控制的本质进程 虚拟内存已经实现了隔离。进程只能以 ELF 规定的权限访问自己的虚拟地址空间。系统调用是唯一访问操作系统对象的途径假设内核没有被漏洞攻破。操作系统还有更高维度的虚拟化机制虚拟机、容器 (cgroups, namespaces…)。访问控制的核心限制程序对操作系统对象的访问。拒绝越权访问 $ \rightarrow $ 保证机密性 (Confidentiality)拒绝越权修改 $ \rightarrow $ 保证完整性 (Integrity)(再加上公平的资源调度机制 $ \rightarrow $ 保证可用性 Availability)访问控制原理一张表从上帝视角看系统只需要维护一张巨大的权限控制表“谁能怎么访问什么”。进程对象访问权限1/etc/passwdread√1/etc/passwdwrite√4132/etc/passwdwrite×4132/tmp/hello.txtwrite√越权访问操作系统直接返回EACCESS(Permission denied)。缺点如果在内核里真维护这么一张表它将变得极其庞大而且极难维护。我们需要一个更简单、更低成本的机制。UNIX 的绝妙抽象用整数表示身份为了避免维护一张庞大的字符串表UNIX 引入了极简的uid,gid,mode机制uid 0$ \rightarrow $root其他都是“普通用户”。root是真神可以访问所有对象也可以使用setuid任意切换身份。子进程完美继承父进程的uid。gid“完全自由”虽然一般0是root组。一个用户可以属于多个不同的组。mode: 即r,w,x(读、写、执行) 权限位。例子owner 只写不可读audit 组可以读的日志文件。操作系统底层其实完全看不到用户名它只认识冷冰冰的数字uid。所有的权限隔离纯粹通过setuid,setgid,chmod系统调用实现。/etc/passwd每行一个用户username:password:uid:gid:comment:home:shell现代系统通常使用/etc/shadow文件存储密码的 hash 值极大地提高了安全性。chsh,passwd命令本质上只是具有特权的小程序直接去修改了这些文本文件而已。UID没有那么简单 (Spicy ️)没有一个软件系统 (Abstraction) 能逃脱成为“山”的宿命。随着业务的复杂化UNIX 被迫把纯粹的uid拆分成了极其变态的体系Real uid (ruid):真实的用户 ID。Saved uid (suid):为了实现“临时提权后恢复权限”而设计的备份 ID。Effective uid (euid):这是操作系统实际进行访问控制检查时真正看的 UIDFilesystem uid (fsuid):(Since Linux 1.2现在几乎没人用了)。chmod s(Set-UID 标志比如ls -l /bin/passwd里的s允许普通用户在执行该程序时瞬间化身为文件所有者的 euid)。深入阅读Setuid demystified回到访问控制现代扩展 (Spicy ️)uid,gid,mode已经无法满足现代云原生安全的需求了于是诞生了更多花活Access Control List (ACL):基于文件系统的扩展属性xattr实现支持为任意数量的特定用户和组设置极其精细的权限。SELinux / AppArmor:强制访问控制 (MAC)。可以试试sudo apparmor_status | ag --gpt -q Explain。Capabilities:把原本无所不能的root权限大卸八块。你可以给一个普通程序赋予“只允许发 Ping 包”的特权而不给它任何其他root能力。capsh --dropcap_net_raw -- -c ping 127.0.0.1(注意这是 fail on execve; 可用getcap查看 capabilities)。意料之外之外之外…… (Spicy ️)攻破一个进程Undefined behavior (未定义行为) 不是在和大家开玩笑的一个看似不起眼的缓冲区溢出 (Buffer Overflow) 或者悬空指针。内存错误 (Memory error) 贡献了巨量的现代内核提权漏洞。进阶教程Tutorial: 64-bit Overflow防御一个进程减少攻击面黑客很强但防守方也在不断进化疯狂拉高攻击的门槛降权:永远以www-root等最低权限运行对外服务。ASLR (地址空间布局随机化):每次启动mmap把栈、堆、库映射到完全随机的地址让黑客找不到跳转的目标。Canary (金丝雀/栈保护):在函数返回地址前埋一颗“地雷”一旦发生溢出覆盖地雷立刻引爆程序自杀。NX-bit (不可执行位):栈区和数据区被标记为永远不可执行代码。CFI (控制流完整性):硬件级别的跳转地址合法性校验 (如 Intel 的endbr64)。访问控制没能完全解决问题 (侧信道攻击)“单次”看起来绝对合法的访问如果在时间、功耗上存在差异也可能被提炼出极其致命的机密信息。经典的 Tenex 密码验证系统漏洞intcheck_password(__userchar*given_pass){...for(i0;istrlen(correct_pass);i)if(correct_pass[i]!given_pass[i]){sleep(3);returnEACCESS;// access denied}return0;}极客黑魔法上面的代码看起来没问题一旦第一个字符错了就立刻返回错误。但黑客可以故意把given_pass字符串放在一个内存分页边界 (Page Boundary)上如果第一个字符猜对了内核会去读第二个字符此时会触发一个极度耗时的缺页中断 (Page Fault)。黑客通过精确测量程序返回EACCESS的微秒级时间差就能在 $ O(N) $ 的常数时间内一个字符一个字符地把正确密码完全“试”出来Meltdown硬件芯片底层的崩塌软件没问题硬件也可以有漏洞这就大名鼎鼎的“熔断”漏洞 (Meltdown)。raise_exception();// 第一步故意触发一个异常比如非法读取高权限的内核内存uint8_tvolatilexprobe_array[data*4096];// 第二步利用非法拿到的 data 去访问数组漏洞原理拆解 (Timing side channel):推测执行 (Speculative Execution):现代处理器为了提高性能在等待异常处理完成时会提前“偷跑”后续的指令。缓存侧信道攻击:虽然 CPU 最后发现你越权了撤销了这些推测执行的寄存器结果但它没有撤销 CPU 高速缓存 (L1/L2 Cache) 里留下的痕迹用户虽然读不了内核数据但可以通过遍历探测probe_array的访问速度瞬间识别出哪一块内存被缓存了从而反向逆推出那个被非法读取的data是什么天道好轮回:现代硬件的精妙性能设计反而成了安全的地狱。目前的惨痛补丁: KPTI (Page Table Isolation)。直接改写了教科书强行在内核态和用户态切换时清空页表代价是巨大的性能损耗。你甚至看不到你的对手在哪硬件侧信道攻击的脑洞是没有极限的1. 电磁辐射窃听 (Electromagnetic eavesdropping)超视距攻击天线和显示器相距 10m中间隔着三层石膏板黑客竟然能通过截获显示器排线发出的微弱高频电磁辐射在自己电脑上完美复原你屏幕上的画面Electromagnetic eavesdropping risks of flat-panel displays2. 物理声学窃听只要录下你敲击键盘的声音每个按键在键盘不同位置产生的高频声纹有微小差异经过 AI 降噪分析就能在隔壁房间把你输入的密码完整记录下来。Physical key extraction attacks on PCs总结Take-away messages:在计算机系统设计的初期一切为了功能真的没有丝毫安全可言。但随着商业需求的暴涨和黑客的步步紧逼今天我们已经建立起了极其庞大、成熟的安全隔离机制从软件层的 UID/进程隔离到硬件层的 ASLR/NX 保护层层设卡。然而“攻与防”的艺术永远没有尽头。对于极客而言用出其不意的方法例如时间差、电磁辐射、CPU 分支预测漏洞去攻破这些看似坚不可摧的系统既是最高级的心智挑战也是推动计算机底层架构不断向前进化的核心动力。
延伸阅读

更多相关文章

2026/9/22 22:54:01

比SyncThing更好用的文件同步工具远程管理工具

目录介绍配置教程1.下载2.安装3.配置之前做Ticper项目的时候需要把文件在多台电脑上同步,并且经常是一台电脑下线之后另一台电脑才上线,所以SyncThing之类的工具几乎用不了,而且SyncThing还要内网穿透,挺麻烦的。DropBox国内似乎不…

2026/9/22 22:51:44

3个坑解决苹果照片恢复:iOS 26 API变更后的最佳实践

3个坑解决苹果照片恢复:iOS 26 API变更后的最佳实践 iOS 26.0 更新后,PHPhotoLibrary 的 API 彻底变了,旧代码直接报错。 别再盲目使用第三方库,手动封装才是恢复照片数据的 最佳实践 。 本文分享一套经过…

2026/9/22 22:51:44

sp论坛避坑指南:3个高频面试题让你稳拿Offer

sp论坛避坑指南:3个高频面试题让你稳拿Offer 别再对着官方文档发呆抓不住重点了,那是新手的噩梦。真正的大厂面试,拼的不是你背了多少API,而是你能不能把 sp论坛…

2026/9/22 22:51:44

告别Stacktrace崩溃:泛付系统性能优化速查手册

告别Stacktrace崩溃:泛付系统性能优化速查手册 报错堆叠如雪崩,StackTrace红得刺眼?别慌。这行【速查手册】专治各种泛付场景下的性能顽疾,帮你把底层逻辑掰开了揉碎了讲透。 概念速懂:泛付到底在忙什么…

2026/9/22 22:51:44

美少女怎么画?Python渲染避坑指南,从卡顿到丝滑

美少女怎么画?Python渲染避坑指南,从卡顿到丝滑 复制来的代码跑不通,报错日志刷了半屏,你盯着屏幕抓耳挠腮。这种“美少女怎么画”的教程,网上遍地都是,但90%的人卡在第一步:环境依赖冲突或者逻辑死锁。别急着骂教程烂,90%的问题出在你没…

2026/9/22 22:51:44

S-Line图解原理:3步搞定面试必问底层逻辑

S-Line图解原理:3步搞定面试必问底层逻辑 刚学完 Python 或 Java 语法,对着 IDE 敲代码挺顺,但一到面试问“数据怎么在组件间传递”或者“状态管理底层机制”,脑子瞬间空白。这不是你笨,是没人把你从“语法执行”拽进“架构思…

2026/9/22 22:46:43

陈吉平手写实现:3步搞定项目搭建,附速查手册

陈吉平手写实现:3步搞定项目搭建,附速查手册 刚学完 Python 或 Java 语法,是不是感觉脑子会了,手废了? 看着教程里的 Hello World 跑通了,一上手真实项目就卡壳:目录怎么建?依赖怎么管?接口怎么调?…

2026/9/22 10:02:42

GAMP 5 基于风险的计算机化系统验证:软件分类与审计追踪实践

简介:《A Risk-Based Approach to Compliant GxP Computerized Systems》即业内熟知的GAMP 5指南,面向制药企业质量与IT合规人员、验证工程师及计算机化系统管理者,用于解决GxP法规环境下系统合规性难以科学落地的问题。文档以风险管理为主线…

2026/9/22 9:07:39

安全托管MSSP实战:从静态防御到人机协同的攻防运营与应急响应

简介:这份PPT围绕互联网业务安全托管服务展开,面向企业安全负责人、IT运维人员及关注MSSP/MSS选型的读者,重点回应传统安全过度依赖人工、碎片化静态防御难以对抗产业化攻击等痛点。资源共1个pptx文件,包体约30.63MB,以…

2026/9/22 0:04:49

输电线路在线监测高频面试题拆解 3秒抓住官方文档重点

输电线路在线监测高频面试题拆解 3秒抓住官方文档重点 官方文档几百页翻到头还是懵?面试问到 输电线路在线监测 的数据链路时,脑子一片空白?别慌,这种 高频面试题 我整理了10年,专门治各种“文档太长抓不住重点”的毛病。…

2026/9/22 0:04:49

中介房源管理系统重构避坑:3个关键步骤搞定API变更

中介房源管理系统重构避坑:3个关键步骤搞定API变更 版本升级后 API 全变了,这种痛只有真做过的人懂。 很多团队在接手老旧房产项目时,最崩溃的不是代码烂,而是底层框架升级后,原本熟悉的接口调用方式彻底失效。 这份 保姆级教程…

2026/9/22 0:04:49

3个坑点带你一文搞懂55gg小游戏源码

3个坑点带你一文搞懂55gg小游戏源码 盯着控制台满屏的红色报错,看着那一长串 StackTrace ,是不是脑子瞬间宕机?别急,这种时候最忌讳的就是盲目改代码。很多刚入行的前端同学,面对 55gg 小游戏这类轻量级 H5…

2026/9/22 16:34:32

USB Type-C PCB布局分区设计:电源、高速信号与PD协议全攻略

做硬件这行,Type-C接口算是典型的“看着简单,做起来全坑”的东西。光引脚就24个,高低速信号、电源、控制线全部塞在一个小小的连接器里,如果PCB布局不做规划,打样回来基本就是“插上没反应”、“高速掉线”、“静电一打…

2026/9/22 20:01:30

系统编程学习原型如何补齐稳定性边界

系统编程学习原型如何补齐稳定性边界预算有限时&#xff0c;我先优化明显多余的复制&#xff0c;而不是猜测性地换容器。用借用传递只读数据通常就能减少分配&#xff1a; fn parse(line: &str) -> Result<Item, Error> { /* ... */ }用基准确认热点确实在分配&am…

2026/9/22 13:25:41

雨花区哪家财务公司代理记账比较好?

在雨花区&#xff0c;企业处理财税事务常常面临诸多挑战&#xff0c;选择一家靠谱的财务公司至关重要。湖南巨勤财务管理咨询有限公司就是本地正规实体财税服务机构&#xff0c;深耕本地工商财税行业多年&#xff0c;熟悉当地工商局、税务局最新政策与申报流程。主营公司注册、…

还想了解更多?直接咨询顾问

免费诊断 + 免费方案 + 透明报价。

全国咨询热线400-8866-253
免费获取方案
咨询二维码