构件化嵌入式操作系统TICK中软件保护机制的设计与实现

来源 :北京大学 | 被引量 : 0次 | 上传用户:gavin812428144
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文主要研究针对构件化嵌入式操作系统的软件保护机制的设计与实现。在分析通用操作系统中的保护技术的基础上,针对构件化嵌入式操作系统的特点,提出了一种将安全级和保护域结合的保护模型。该保护模型将整个系统中的构件划分为若干安全级和保护域,根据每个构件的来源、可靠性等不同特性,授予其不同的读、写、调用等访问权限。每个构件只能在它所拥有的权限之内进行操作。采用软件隔离技术实现该保护机制,首先在宿主机上对作为构件来源的目标文件做静态处理,包括在二进制一级修改和添加机器指令,利用二进制重写技术重新生成目标文件;接着在加载构件时执行访问检查;当构件运行时,再执行运行时访问检查。通过使用本文中的软件保护模型,可以实现构件化嵌入式操作系统中的内存保护,不可信构件加载,操作系统动态配置等等。初步性能评测表明,所设计实现的软件保护机制在实现了软件保护的同时没有带来太大的系统性能损失。
其他文献
  ENUM技术是近年来网络资源寻址定位方式研究的热点。在三大网络逐渐融合的趋势下,ENUM有着很乐观的前景。ENUM的使用和推广有利于服务提供商和运营商更方便地以较低的成本
新一代计算模式促使人机交互方式必须从以“计算机为中心”向“以人为中心”转变,这种转变的核心是建立支持人类思维过程并与人类思维趋同的人机交互方式。以手写体和手绘草图
本文介绍了“北京大学网格计算资源服务中间件”子项目“北京大学网格元数据服务”所做的工作。该子项目围绕支持语义的资源描述模型的建立与表示、以及基于该模型的元数据服
  多媒体消息服务是按照3GPP的标准和WAP论坛的标准开发的最新业务。它最大的特色就是支持多媒体功能,它以应用层协议为载体传送视频片段、图片、声音和文字。对用户而言,多
遗传算法是一种有效的解决优化问题的方法,它是模拟达尔文的遗传选择和自然淘汰的生物进化过程的计算模型,其思想源于生物遗传学和适者生存的自然规律,是一种迭代过程的搜索算法
  视频会议系统的建设是中科院院信息化建设的重大项目。近些年来,随着网络的普及和不断发展,网络带宽已经不再是网络应用的瓶颈,这使得很多基于互联网的新的应用应运而生。利
本文在阐述数据仓库基本理论的基础上结合某运营商的具体案例说明了数据仓库技术在国内电信业的应用。本文首先从基础理论、建设原则、基本体系结构、关键技术等几个方面比较
在人类语言中存在着多种的书写系统writing system,这些书写系统大致可以分为两类:一类是水平书写,大部分的西欧语言和现代亚洲语言都属于这一类,例如英语、汉语等都属于水平
本文针对目前网络中信息检索系统所存在的不足,结合Agent技术对网络信息检索的智能化和个性化发展进行了研究.文章首先分析了信息检索的基本原理和基本模型;介绍了数据挖掘、
世界已进入了以网络为中心的计算时代,而传统的网络模式中存在的互操作性差,平台隔离等问题亟待解决。将Webservice技术和P2P技术结合是实现资源共享、交互通信、系统集成、协