基于硬件虚拟化技术的共享库隔离保护机制

来源 :华中科技大学 | 被引量 : 0次 | 上传用户:laopengyou123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在现代操作系统中,应用程序与共享库属于同一个地址空间且在调用过程中无须权限切换。这种机制为库函数调用提供了便捷性的同时也为用户安全造成了潜在的威胁。在代码复用攻击中,共享库是攻击者查找恶意指令或者函数接口的首选目标。尽管对共享库进行内存隔离是一种有效的应对措施,但是现有的方法都需要对应用程序或共享库进行重新设计并破坏共享库的共享特性,因此它们大多数都不能高效的应用于现代系统中。共享库隔离保护系统Libsec为了解决这些弊端,提出了一种高效且透明的共享库隔离机制。借助于Intel硬件虚拟化技术可拓展页表以及相关拓展指令VMfunc,Libsec首先将共享库从原有的应用程序地址空间中隔离并创建出单独的共享库地址空间,避免了应用程序代码直接跳转到共享库中执行。然后Libsec提供了对应的地址空间切换接口来保证隔离后共享库与其他组件之间的正常交互。通过静态插装以及动态处理结合的方式,Libsec避免了对应用程序的修改并维护了共享库的共享特性。最后,由于攻击行为并未使用特定的地址空间切换接口,Libsec将通过虚拟机管理器截获的异常事件来判断共享库运行时行为的合法性。为了验证Libsec的有效性,Libsec被用于对Glibc标准库,OpenSSL库等共享库的保护中。实验结果表明攻击者无法通过应用程序漏洞直接执行共享库代码,因此有效的防止了上述攻击行为。同时性能测试结果表明将Libsec用于对底层共享库进行隔离保护时仅具有15%左右的性能开销和较小内存开销。
其他文献
<正> 一位纳粹集中营的幸存者当上了美国一所中学的校长。每当新教师来校报到,他都会交给那位新教师一封信,信上写着这样令人震撼的句子:“亲爱的老师,我是集中营的生还者。
针对电阻点焊工艺过程的非线性及多变量耦合等不确定因素的特点,采用正交试验设计方法科学安排点焊试验,研究了焊接时间、电极压力和焊接电流对316不锈钢点焊接头拉剪力和焊
风险理论和定价理论是保险理论研究中的两个核心问题,20世纪50年代以后风险测度理论有了较快发展。随着对风险认识的加深,逐渐提出了如方差、下偏矩、VaR以致当今流行的一致
软件开发是一项高难度复杂的工作,在软件开发过程中,项目的进度管理是决定项目能否成功的关键因素。在对软件开发的项目管理技术方法上进行了系统的研究后,提出一套基于PERT
<正> 新政治课程标准,突出强调“以人为本”的教育价值观目标,并力求将人的发展、社会需求和学科知识三者达到有机的辩证统一与整合,为2004年秋季在部分省市开始的高中政治课
随着高速公路的不断建成,我国高速公路客运得到了很大的发展。但在发展过程中,高速公路客运逐渐暴露出组织化程度低以及运力过剩的问题,严重制约其发展和竞争力的提升。同时,
文章以互联网行业一个多媒体联络中心系统开发项目为案例,通过将关键链技术引入到项目进度管理中,对此项目的进度管理进行深入研究,将一般项目进度管理方法下的工期计划与引
近年来,动画影片产业飞速发展,种类越来越多,系列短片层出不穷。人们对于动画角色设计的追求,也随着动画技术的提高、时代背景的不同而有了新的变化。文章通过对各种经典动画
秦巴山区高速公路沿线桥涵众多。由于秦巴山区自然环境和工程地质的特殊性,极易对公路桥涵造成水毁,并对公路、桥涵、隧道等交通基础建设的正常运行造成严重的威胁。因此,为
根据广州珠江黄埔大桥北汊斜拉桥的特点,研究其合适的主梁安装方案。系统介绍该桥上部结构独特的施工方案、主要施工技术特点和难点。