零信任

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 独立授权的三个真实坑。附生产检查清单与越权自动化测试代码。

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 委托链。附可运行代码与生产检查单。

SPIFFE/SPIRE 工作负载身份:AI Agent 零信任身份网格深度实战

SPIFFE/SPIRE为AI Agent异构网格提供零信任身份基础设施的深度实战指南。涵盖SPIFFE ID命名空间设计、SPIRE架构(节点证明/工作负载证明/SVID轮转)、跨域联邦、Rust与Go生产级代码示例、WebAssembly沙箱身份桥接、基于SPIFFE ID的授权中间件以及完整可观测性方案。