零信任

OAuth 2.1 与 OIDC 深度工程实战:从 PKCE 证明密钥、授权码注入防御到 AI Agent 令牌交换的全链路解析

拆解 OAuth 2.1 的收敛设计:PKCE 的密码学证明过程与授权码拦截防御、重定向 URI 精确匹配与授权码注入攻防、OIDC 层 ID Token 校验的七个陷阱(alg 混淆、jku 注入、aud/iss、at_hash)、刷新令牌轮换与重放检测,以及 AI Agent / MCP 时代的 Dynamic Client Registration 与 RFC 8693 Token Exchange 委托链。附可运行代码与生产检查单。

PostgreSQL 行级安全(RLS)深度工程:从查询改写、Security Barrier 到 Supabase 多租户授权的生产级落地

拆解 PostgreSQL 行级安全的工程真相:RLS 在重写阶段如何把基表改写成带谓词的子查询,为什么函数 volatility 决定 InitPlan 与 SubPlan 的性能分野(331ms 到 1.8ms 的实测对比)、跨表策略如何引发 N+1 子查询风暴、security_barrier 与 leakproof 如何堵住侧信道、USING 与 WITH CHECK 不配对怎样造成写入越权,以及 Supabase/PostgREST 拓扑下事务级 SET LOCAL、连接池串号与 Realtime/Storage 独立授权的三个真实坑。附生产检查清单与越权自动化测试代码。

Linux内核BPF特权边界与用户态BPF沙箱加固深度工程实战

当eBPF从网络追踪延伸到零信任安全基石,当bpf()系统调用成为容器运行时、可观测性平台乃至云原生的上帝视角入口,我们不得不面对一个棘手的现实:谁能加载BPF程序?谁能访问BPF map?谁能迭代BPF对象?本文从内核源码级拆解bpf()系统调用的权限检查链路,剖析BTF自描述格式引入的新型攻击面,并给出生产级BPF沙箱加固的落地配方。