您的位置： 专家智库 > >

杨晓艳

作品数：1 被引量：2H指数：1
供职机构：华中师范大学计算机学院计算机科学系更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇堆栈
  • 1篇堆栈溢出
  • 1篇形式化
  • 1篇形式化研究
  • 1篇栈溢出
  • 1篇安全操作
  • 1篇安全操作系统
  • 1篇BLP
  • 1篇BLP模型
  • 1篇LINUX安...
  • 1篇LINUX安...
  • 1篇操作系
  • 1篇操作系统

机构

  • 1篇华中师范大学

作者

  • 1篇张凯
  • 1篇杨晓艳
  • 1篇沈宁

传媒

  • 1篇计算机工程与...

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
堆栈溢出的BLP形式化研究及实现被引量：2
2007年
堆栈溢出是一种在各种操作系统、应用软件中广泛存在普遍且危险的漏洞,可以利用它执行非授权指令,甚至可以取得系统特权,进而进行各种非法操作。从安全操作系统的角度分析了堆栈溢出的原理,以BLP模型为工具对堆栈溢出进行了形式化并在此基础上适当调整了该模型,从安全模型的层次上消除了堆栈溢出的隐患。最后给出了调整后的BLP模型在LSM(Linux security module)上的实现。
张凯杨晓艳沈宁
关键词：安全操作系统堆栈溢出形式化BLP模型LINUX安全模块
全选 清除 导出
共1页<1>
聚类工具0