【摘 要】
：
基于Space系统（Space Operating System,Space OS）提出了一种叠合式安全机制,该机制在保证安全性的同时具有实用性的特点.首先对系统安全域进行划分,定义了安全机制的要求.提出
【机 构】
：
首都师范大学信息工程学院,中国科学院计算技术研究所
论文部分内容阅读
基于Space系统（Space Operating System,Space OS）提出了一种叠合式安全机制,该机制在保证安全性的同时具有实用性的特点.首先对系统安全域进行划分,定义了安全机制的要求.提出了安全机制的设计思想,通过形式化方法证明其达到安全的要求,然后通过Overlay文件系统说明技术的可行性,并将该安全机制应用于Space OS上.最后对其进行性能测试,安全性测试以及实用性测试.测试表明,叠合式安全机制具有安全性和实用性,对Space OS运行速度影响很小,具有实用价值.
其他文献
随着现代化技术的飞速发展,人们对于导航定位精度的需求也越来越高,应用的范围也越来越广泛,北斗导航卫星是我国自主开发的一种双星定位导航系统,其本身具有完全的独立性,可
本文阐释了食品质量与食品安全的内涵,分析了当前我国食品质量与安全控制中的现存问题,从健全市场监管体系、明确企业责任承担、加强食品风险监控、培养受众维权意识等4个层
伴随经济的快速发展,我国的老龄化进程不断加速,并逐步呈扩大趋势,积极老龄化成为全社会共同面对的问题。针对老龄化法制建设是积极老龄化过程中不可或缺的一个环节,也是我国
在信息技术快速发展的今天,物联网技术在各行各业中都得到了广泛的应用,其中对硬件设备信息的采集以及传输是其主要应用,但是数据传输过程中会出现严重的数据安全问题,因此本文提出了一种混合通信加密方法.本文首先从物联网设备角度出发,介绍物联网无线通信技术和CoAP传输协议以及加密方法,然后结合物联网设备资源受限制情况,采用NB-IoT技术,并在智能燃气系统中实现了上述加密方法,实验以及测试比较的结果表明,
本文基于对南京市江宁大学城大学生对功能一体化校园APP的产品需求分析和校园APP泛滥现象等问题,以大学生的学习、生活、社交中需求的各种功能一体化为设计理念,设计了集校园
现如今,随着时代的进步以及科技的不断发展,人们的生活水平给正在不断提高.互联网做为现代社会的重要产物,正在人们的日常生活、工作过程当发挥着越来越重要的作用,而互联网
旅游业的蓬勃发展，带来了旅游影响的问题。本文以歙县为例，研究了旅游业在发展过程中对其城市功能结构和地区居民生活及文化产生的影响，同时反思了地区旅游业发展与地区社会文化
对于药品生产企业来说，其要想实现GMP，应从厂址与厂区的规划方面入手。本文主要从厂区规划原则、厂区划分、厂区布置、通道设计等方面，对医药厂区项目中选址与规划等的设计理念
图书馆管理的创新应该以人为本，以服务好读者为目标，做到图书管理创新为学生，图书服务创新为读者。该文从图书馆存在的普遍不足入手，阐述了解决高校图书馆存在问题的方法，并进一步
针对天基系统星上处理能力不足、技术落后、无法实现多源数据在轨实时处理等难题,本文提出一个应用于中低轨微小卫星的天基网络化通用服务平台的设计概念,为现在的卫星技术发