【摘 要】
:
随着云计算、大数据、区块链等技术的蓬勃发展,虚拟化技术也随之得到了广泛的应用,其中基于容器的虚拟化方案得到了更广泛的关注。Docker更是其中最热门的代表方案之一,但是Docker也面临许多安全性问题,由于直接使用了宿主机的内核与资源库,其隔离并不完善,诸多问题也因此发生。因此,增强Docker的隔离性迫在眉睫。本文专注于对Docker的隔离性问题进行了研究,主要研究内容包括以下三个部分。本文采用
论文部分内容阅读
随着云计算、大数据、区块链等技术的蓬勃发展,虚拟化技术也随之得到了广泛的应用,其中基于容器的虚拟化方案得到了更广泛的关注。Docker更是其中最热门的代表方案之一,但是Docker也面临许多安全性问题,由于直接使用了宿主机的内核与资源库,其隔离并不完善,诸多问题也因此发生。因此,增强Docker的隔离性迫在眉睫。本文专注于对Docker的隔离性问题进行了研究,主要研究内容包括以下三个部分。本文采用了一种多级容器安全隔离运行模型,该模型致力于解决容器进程的隔离性问题和共享存储卷的安全共享问题。在设计过程中,为了保持Docker轻量高效的特性,对该模型进行了简化设计,将模型的主客体分别局限在容器进程和容器相关路径上,并在此基础上制定了五项访问控制策略。对于进程隔离方面,该模型使容器的访问域限制在该容器自身范围内,对其他容器和宿主机的文件都没有访问权限。这保证了主体与主体和主体与客体的隔离性。对于共享数据方面,结合了BLP模型和Biba模型的访问策略优点,通过设置了安全值属性对来控制容器对共享数据的访问权限,使共享存储卷具有较好的机密性和完整性。本文还在App Armor的基础上,基于最小权限原则设计了一种容器的强制访问控制方案。同时还对Docker的运行权限进行了研究,并分析了Dockerfile和Docker Compose,使强制访问控制方案能加强容器隔离性的同时也不破坏容器的正常使用。该方案主要包含了静态文件检测和动态运行校正两个部分,静态文件检测部分分析了容器的生成指令,将其中所需要的权限提取出来,然后生成相应的App Armor配置文件。并在动态运行校正部分,根据容器的使用过程,动态地调整配置文件。整个方案分析了容器从生成到运行过程中所必须的权限,并根据最小权限原则对容器进行权限限制,保证了容器的隔离性。本文还实现了多级容器安全隔离运行模型的原型系统。在实现过程中,使用了基于App Armor的强制访问控制方案,并采用LKM对方案进行了补充扩展,使原型系统满足模型中的策略。本文还对原型系统进行了功能测试和性能测试。通过一系列的模拟攻击实验,结果表明,本文的原型系统能够提升Docker的安全性和隔离性;在普通个人级电脑上进行了多次性能测试,与原生Docker相比,其性能上损耗不高,仍在同一量级,保持了Docker的高效性。
其他文献
近年来,随着各种传播媒体形式的不断丰富,通过运用来自多种模态的特征进行问答的方式越来越多地受到了关注。但是,针对图像、视频以及文本的问答场景,如何能更好地理解它们所组成的多模态内容是一项具有挑战性研究任务,因为多模态视觉的内容与多模态自然语言之间存在着完全不同的统计、语义特征,例如相似内容之间的连贯性,不同内容之间的相关性等,尤其是在视频问答任务中,数据处理的难度以及模态之间的噪声大幅增加,视频内
随着物理网技术的成熟与普及,物联网应用为人们带来了智能化的工作模式和生活方式,但随之而来的信息数据的隐私安全问题却不容忽视。物联网应用通过各种终端设备收集到的涉及用户隐私的信息数据,在生产、传输、处理、存储的过程中存在被泄露、丢失、篡改的风险,使得用户数据的隐私性和安全性得不到保障。而区块链自问世以来,就以其卓越的安全性而闻名,其所使用的密码学技术、独特的信任机制以及区块数据不可篡改的特性,为物联
非标准Lagrange函数,又称“非自然Lagrange函数”,不同于标准Lagrange函数的是,非标准Lagrange函数不以动能和势能之差的形式来表示,通过研究其变分问题可以描述标准Lagrange函数所难以描述的非线性系统。而Birkhoff力学作为Hamilton力学的自然推广,标志着分析力学进入了一个新的发展阶段。如果将非标准Lagrange函数的思想推广到Birkhoff系统,研究基
近几年,随着无线网络技术的日益完善和交通需求的不断增长,智能交通系统(Intelligent Transport System,ITS)得到了迅速的发展,车载自组织网络(Vehicular Ad-hoc Networks,VANETs)作为ITS的重要技术之一,被广泛应用到交通管理和移动娱乐等多种场景中,以此来提高道路交通安全并为驾驶人员提供娱乐服务信息。由于车载自组网的复杂特性,车联网路由协议设
作为最具代表性的Zn合金体系,超塑性Zn-Al合金以低流变应力、无加工硬化、高延伸率的特性可作为潜在的抗震材料。且该合金在室温高应变速率(10~500/s)下仍保持良好的塑性,延伸率达到30%。但由于双相组织的“老化”现象限制其进一步发展。近来细晶超塑性Zn-Mn和Zn-Ni-Mg合金展示了良好的高温超塑性。其中Mg元素添加可实现Zn合金的显著强化,Mn的添加可极大改善Zn合金的塑性。但对上述合金
带式输送机作为最重要的散状物料连续输送设备,广泛应用于矿山、港口、粮食和化工等领域,与汽车、铁路运输相比具有经济、高效、可靠、安全的优点。目前,有关带式输送机的进一步节能研究已经成为带式输送机研究的热点。压陷滚动阻力约占带式输送机总运行阻力的60%,因此,压陷滚动阻力计算方法的研究对带式输送机节能起着关键的作用。对带式输送机压陷滚动阻力的研究进展与粘弹性材料特性的测试方法进行了分析,借鉴Munze
随着物联网的发展,越来越多的设备将会接入到物联网中,海量的数据也会随之产生,将会需求巨大计算资源、存储空间和通信带宽。同时,实时性的要求也越来愈高。传统云计算框架已渐渐无法满足这些需求。作为云计算的扩展,雾计算被引入。雾计算部署在网络的边缘,接近于物联网设备和用户,能够有效减少云端的压力和实现更低的通信消耗。现有的大多数物联网应用为实现实时的监控和智能控制,需要云端的控制中心不断地从底层的物联网设
混凝土已经成为当今人类社会不可或缺的建筑材料,因其材料来源广泛、强度高等优点,在各种各样的工程中使用广泛。但是在实际使用过程中,它的韧性比较差,而且还比较容易产生裂缝,在混凝土中掺杂纤维材料能有效的改善这些问题。目前,在建筑工程中,为了提高混凝土的强度,使用的比较多的手段是将各种各样的纤维掺在混凝土中。为了研究纤维混凝土在地震作用下的振动特性,选用聚乙烯醇(PVA)纤维与钢纤维作为外掺纤维,采用振
随着科学技术的发展,每天都会产生海量视频数据,这些数据与我们生活有着紧密联系。如何有效利用这些数据为我们的生活带来便捷,是随之而来的问题。许多现实场景中,动作之间差异十分微小,使得它们具有细粒度的特征,所以细粒度视频行为检测和识别技术是一个有效解决问题的方向。细粒度动作识别和检测是一个非常具有挑战性的问题,近几年引起了学术界极大的关注。在视频中,细粒度动作类别之间的视觉差异非常细微,导致动作识别和
时序数据挖掘是数据挖掘和机器学习领域的一个研究热点,并被广泛应用于用户感兴趣位置实时推荐、金融系统风险评估预测和学者建档检索等实际应用中。与静态数据相比,时序数据不仅带有时间标签信息,还含有样本随时间动态演化的丰富信息。目前时序数据挖掘主要有两点不足:首先,大部分研究只关心每一个时刻数据的表征以及未来的状态,而数据的动态演化过程本身的建模与表征方面的研究存在很大空缺;其次,部分时序数据非常稀疏并且