kernsec

Linux与XNU的kpti实现解读

Linux与XNU的kpti实现解读

IOS KTRR/CTRR详解

IOS KTRR/CTRR详解

ios ppl实现详解

Sel4是l4微内核家族中的一员，se代表security的意思，它采用了形式化验证的手段确保了源码的安全性.

1 简介Fuchsia是google开发的全新微内核操作系统，用来替换android。

Ios13增加了判断对象是否属于zone的安全检查，这将导致以前通过伪造内核对象的漏洞利用手段变得困难了

这篇文章主要是讨论ios内核堆的分配特性，辟谣下：zalloc内存分配器并没有在释放内存时将object随机插入freelist链表中。

XNU进程地址随机化解读

全网最详细的XNU kauth实现解读

XNU zone内存分配器安全特性解读

freebsd内核内存分配器安全特性分析

Freebsd提供了一个有意思的安全功能，fork的进程号可以随机化。

Freebsd的jail模型是一个纯粹的沙箱模型，用来限制进程的一些行为，是一种安全机制。