基于嵌入式系统的可信接入控制技术研究

来源 :东南大学 | 被引量 : 1次 | 上传用户:jackmengxiaojing
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着时代的发展,嵌入式系统凭借其低功耗、低成本等优势得到了长足的发展。其中实时嵌入式操作系统被广泛应用在一些对系统响应时间有较高要求的领域中,如工业控制、航空航天等。然而当前一些实时操作系统如Vx Works5.x版本、Sylix OS使用扁平化的内存布局,应用程序和内核共用一个地址空间,这极大的增加了这类系统的安全隐患。因此,部署在这类系统中的接入控制程序无法保证其安全性。然而针对这类单一地址空间的操作系统,当前简单的内存防护不足以保证程序和内核的完整性,另一方面使用Trust Zone或者硬件虚拟化技术增强安全性不仅对硬件要求较高导致适用范围较窄,而且特权级的切换会增加时间消耗导致系统实时性降低。本文以解决现有的内存防护技术防护能力、适用范围、性能等方面不足,以及接入控制程序自身安全性不足为出发点,对进程完整性、内核关键数据结构完整性、同层内核监控三个方面进行了研究,设计了完整性度量和同层监控两个模型,并在此基础上在Sylix OS上设计了接入控制原型系统。论文的主要研究工作如下:1、分析了实时嵌入式系统和接入控制技术的发展现状,阐述了增强单一地址空间的嵌入式系统安全性的重要意义。列举了国内外对内核监控技术和可信度量技术的研究现状,指出了当前上述操作系统中的安全问题,作为本文的研究目标。2、对嵌入式系统、接入控制技术、Sylix OS、可信计算所涉及的相关技术进行了研究和分析,包括ARM系统架构、ARM内存地址映射、接入控制技术原理、Sylix OS内核实现细节、TPM芯片原理、TSS软件栈,为后面研究提供了理论基础。3、针对单一地址空间的嵌入式系统面临的安全威胁,提出了基于系统页表的完整性度量模型。该模型可分为完整性度量模块、控制模块和可信标准基三个模块,通过对系统页表的实时改写以及增加TPM的签名功能,可以有效保护进程数据段、代码段、堆栈段,以及线程切换时上下文、内核关键数据结构的完整性,并在Sylix OS上实现了该模型。研究结果表明,该模型不依赖特殊硬件,适用范围较广,与通常的内存保护机制相比该模型防护能力更强。4、针对完整性度量框架容易被篡改和绕过的问题,提出了基于系统页表的同层内核监控模型。该模型可分为判决模块和页表修改模块,通过对页表修改行为的截获,可以在异常中断中判断页表修改行为的合法性,最后在Sylix OS上实现了该模型。研究结果表明该模型不会影响内核的正常运行,而且可以监控完整性度量模型的运行。5、在Sylix OS中实现了一种基于Web的接入控制方案,该方案包括DHCP模块、Web服务器模块、访问控制模块和后台数据库四部分。测试结果表明该程序运行正常,安全性符合预期,完整性度量模型和同层监控模型可以有效提升接入控制程序自身的安全性。
其他文献
电子诉讼的广义内涵是传统诉讼在电子化、信息化、网络化浪潮冲击下产生的,具有技术性特点的司法制度。其目的是通过技术在司法中的应用,以降低成本、提高效率,以让更多人接近正义。我国电子诉讼的发展呈现起步晚、发展快的态势,作为电子诉讼实践的产物,互联网法院对传统法院的电子诉讼发展具有指引作用,由此产生“互联网法院—最高人民法院—传统法院”的电子诉讼规则的传递脉络。我国电子诉讼在适用方式、适用范围、诉讼规则
学位
房地产行业为国家经济的发展做出了卓越贡献,促进国家经济实力的不断增强。但是,不可否认,一路飞涨的房价大大加重了居民的购房负担。政府为使房地产市场降温,从2009年起就不断推行限购、限贷政策。到2016年初政策环境宽松之后,全国房价涨幅过快的热点城市重启了限购、限贷政策,政策逐步收紧,这些都导致房地产市场竞争的剧烈。近些年来,我国房地产企业的债务融资开始呈现类金融模式的特征。类金融模式下,企业依靠自
学位
随着能源供给侧结构性改革的进一步深化,高比例风电并网运行是未来电力系统发展的必然趋势。风电出力波动性强,机组耐压能力不足,高比例替换传统电源后将降低系统动态无功支撑能力,严重威胁电力系统运行的安全稳定。因此,含风电电力系统的电压稳定问题已成为影响风电高比例接入的关键因素,高比例风电接入下的风电场无功电压控制策略有待进一步探究。本文具体工作如下:(1)考虑静态电压稳定约束的电网风电最大渗透率评估方法
学位
随着对可见光催化有机合成的研究不断深入,具有优异光电性能的钙钛矿逐渐进入可见光有机催化研究的范畴。全无机的卤化钙钛矿与其他半导体材料相比可见光利用率高、带隙可调、吸光系数高、载流子寿命长,在可见光有机催化应用方面表现出优异的催化效率及产率。近两年,科研工作者对钙钛矿光催化有机反应的探究,实现了钙钛矿可见光催化C-N,C-O,C-C键的形成。但鲜有文献报道利用钙钛矿NCs与载体的复合材料提高钙钛矿在
学位
我国刑法规定了核准追诉制度,由于相关规定较为原则,实践中容易产生认识分歧。对于核准追诉的基本原则,应当坚持"以不核准为原则、核准为例外",这是核准追诉制度的核心问题。核准追诉的四个条件并非平行结构,而是递进关系,四个条件在核准追诉案件中所处的位阶不同,发挥的作用也不同。核准追诉的法律适用上,应正确适用新旧刑法,准确把握追诉时效中断和延长的问题。相较于普通刑事案件,核准追诉案件的证据审查有其特殊性,
期刊
期刊
设计管理是市场竞争的产物,是企业为了扩大竞争优势,优化企业内部资源分配,减少成本支出,增加经济效益所采取的一种管理手段。在消费多元化的市场中,设计管理为企业制定合理的设计战略,合理规划企业对于资源的分配,从设计这一环节为企业提供合理的管理手段,并且通过消费者对于品牌产品消费的信息反馈,从产品设计和品牌规划这一步为企业的下一步战略步骤提供方向。本论文以设计管理作为研究切入点,探讨设计管理对于品牌塑造
学位
目的:以白及胶为主要成膜材料,将国家第二批带高徒名老中医、黑龙江省著名中医王秀霞教授治疗宫颈癌的临床试验有效方经验方剂一儿黄散研制开发成能够实现的缓释双层膜剂,以期望为中医药治疗宫颈癌提供一个有效的现代中药制剂,并为中药膜剂的研究积累数据。方法:首先,分别建立了黄连中小檗碱、巴马汀、黄连碱、表小檗碱和儿茶中儿茶素及表儿茶素的高效液相分析方法;并通过考察释放的接收液、透过膜、转速对释放度的影响,建立
学位
报纸
[目的]运用网络药理学与分子对接技术探究三棱-莪术药对治疗动脉粥样硬化(As)的作用机制。[方法]通过TCMSP、Swiss Target Prediction、STRING数据库和Cytoscape软件发现并探究相关治疗靶点的作用关系,通过Omicshare平台进行GO富集分析与KEGG通路富集分析,运用DockThor平台进行分子对接。[结果]研究结果发现158个相关治疗靶点,其中丝氨酸/苏氨
期刊