文 档: 操作系统内核验证的研究进展
作 者: Prof. Guo
语 言: 中文
标 签 OWASP 内核
介 绍:

内核安全与内核验证

研究背景

应用程序的可利用漏洞

  • 研究众多,关注程度高
  • 静态分析
  • 动态分析
  • 实时监控

内核级的Rootkit防御

  • 研究较少
  • 质量参差不齐的驱动, 恶意代码注入
  • 防御方案实施困难

内核的形式化验证

模型检查

  • 建立内核的抽象模型
  • 给出内核的行为规范
  • 采用工具进行全自动化地检查

基于定理证明的程序验证

  • 用逻辑公式定义内核编程语言的语义
  • 用逻辑公式定义内核的行为规范
  • 采用工具进行半自动地证明

内核的证明

援 引:
附件下载
相关推荐
源码审计与 windows 内核漏洞
#目录 - • 个人和团队介绍 - • 引子 - • 案例1-RFONTO
移动互联网对DDOS攻防带来的新挑战
原文地址 http://www.owasp.org.cn/OWASP_Event
调皮的蓝精灵
受《小松鼠的黑魔法》 受《小松鼠的黑魔法》 文的启发,自己也总结了 些关于 一文
论经验和思维
#经验的概念 #思维的概念 # 思维种类 # 思维过程 # 经验思维
OWASP Iot Top 10 2018
- 什么是IOT - 物联网三层架构 - 物联网安全 - OWASPiot
Web应用面临的IT安全风险与危机
#目录 - 背景 - 1、Web的作用 - 2、Web安
阅读心得