sel4微内核安全功能解读(link is external) kernsec 3 years 10 months ago Sel4是l4微内核家族中的一员,se代表security的意思,它采用了形式化验证的手段确保了源码的安全性.
sel4微内核安全功能解读(link is external) kernsec 3 years 10 months ago Sel4是l4微内核家族中的一员,se代表security的意思,它采用了形式化验证的手段确保了源码的安全性.
fuchsia安全功能解读(link is external) kernsec 3 years 10 months ago 1 简介Fuchsia是google开发的全新微内核操作系统,用来替换android。
fuchsia安全功能解读(link is external) kernsec 3 years 10 months ago 1 简介Fuchsia是google开发的全新微内核操作系统,用来替换android。
IOS13 zone_require原理(link is external) kernsec 4 years 1 month ago Ios13增加了判断对象是否属于zone的安全检查,这将导致以前通过伪造内核对象的漏洞利用手段变得困难了
IOS13 zone_require原理(link is external) kernsec 4 years 1 month ago Ios13增加了判断对象是否属于zone的安全检查,这将导致以前通过伪造内核对象的漏洞利用手段变得困难了
IOS内核堆风水布局解读(link is external) kernsec 4 years 1 month ago 这篇文章主要是讨论ios内核堆的分配特性,辟谣下:zalloc内存分配器并没有在释放内存时将object随机插入freelist链表中。
IOS内核堆风水布局解读(link is external) kernsec 4 years 1 month ago 这篇文章主要是讨论ios内核堆的分配特性,辟谣下:zalloc内存分配器并没有在释放内存时将object随机插入freelist链表中。