μC／OS—Ⅱ的安全研究

来源 :信息技术 | 被引量 : 0次 | 上传用户：o9876521

【摘要】

：

对BLP模型可信用户权限过大和无完整性控制两点不足分别进行了改进.在对μC/OS-II深入分析的基础上,通过增加BLP模型访问模式实现了访问请求的细粒度控制,同时对访问控制规则

【作者】

：

崔可明李健利钱真柳菊霞

【机构】

：

哈尔滨工程大学计算机科学与技术学院

【出处】

：

信息技术

【发表日期】

：

2005年11期

【关键词】

：

嵌入式操作系统 μC/OS-Ⅱ 安全操作系统访问控制 embedded operating system μC／OS-Ⅱ secure operating s

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

对BLP模型可信用户权限过大和无完整性控制两点不足分别进行了改进.在对μC/OS-II深入分析的基础上,通过增加BLP模型访问模式实现了访问请求的细粒度控制,同时对访问控制规则进行了数学形式定义,在μC/OS-II上实现了改进的BLP模型,建立了一个安全μC/OS-II模型,达到了安全与μC/OS-II的无缝结合,并保持了μC/OS-II原内核的可裁剪性.

其他文献

针对林区特点强化专业训练

森警内蒙古总队大杨埘大队,近日受到内蒙古自治区前线防火指挥部的亲切慰问,当地领导对官兵们11年来扑火防火取得的成绩给予高度赞扬。大杨树森警大队自80年代初成为大兴安岭

期刊

专业训练灭火战术正规化建设作战体系永安山

对铁路两侧火险区段综合治理的设想

火车在林区高坡大岭及弯道运行因加速增大功率时,机车喷出高温积炭,减速时制动闸瓦与行走轮骨磨擦产生高温断裂后甩出路基,引起森林火灾。我区铁路线长851公里,曲线多,坡道长

期刊

火险区森林火灾高温断裂生物防火林带增大功率可燃物载量道长林火预防森林资源安全森林防火

基于单片机驱动数码管的显示设计

单片机驱动数码管能显示数字或符号,包含静态和动态两种电路显示方式。本文简单描述了这两种显示方式,剖析了它们的优缺点,最后给出了硬件电路和软件的设计。

期刊

数码管静态显示动态显示

宽带智能家庭网关技术与应用

宽带智能家庭网关是在宽带条件下,实现家居智能化管理的关键,可创造数百亿元的国内市场.它是一个兼容性特别强的智能家居中央处理平台,含家庭综合布线系统,可支持宽带互联网

期刊

宽带智能家庭网关家居智能化住宅小区BSRGIntelligent broadband home gateway OSGI Compatibility A

建筑结构设计安全性分析及对策分析

随着我国经济的不断发展,建筑行业逐渐成为了人们关注的重点。但是其中更多关注的是建筑物的外观、功能以及质量等问题,而对于建筑物的安全性问题却不是很重视。建筑物的安全

期刊

建筑结构设计安全性分析对策

半导体光纤环形激光器输出状态分析与分类

研究了不同注入电流、不同输出偏振度下,半导体光纤环形激光器输出光的混沌特性.分别采用时域观察法、C-C法、Wigner-ville分布时频分析法、最大Lyapunov指数法联合分析输出

期刊

光混沌半导体光纤环形激光器C-C法Wigner-ville时频分析法最大LYAPUNOV指数虚假邻点法回归图法Optical chaos Semi

光固化复合树脂修复117例前牙牙冠缺损10年疗效观察

目的：探讨光固化复合树脂修复前牙牙冠缺损的远期效果。方法：随访统计10a前以光固化复合树脂修复前牙牙冠缺损的病例117例。结果：10a成功率为65．52％。结论：光固化复合树脂修复前牙

期刊

牙冠缺损修复树脂

线性调频扫描波束线列阵发射系统

介绍了调频扫描波束的原理,以及使用DSP产生发射信号的16基元线列阵发射系统.该系统可在发射调频脉冲的同时连续扫描搜索平面,进行目标测向测距.通过发射和接收双重波束形成,

期刊

调频扫描发射波束形成FM scan beam transmit

道路收费制式的比较与选择

收费制式的确定对收费道路的规划设计、建设和运营管理都具有十分重大的影响，本文在分析已有三种经典收费制式的基础上提出混合式系统这一新的构思，以求找到适合国情的新的选择

期刊

收费道路收费制式Toll roadToll collection system

浅谈输液反应致使患儿心跳、呼吸骤停1例抢救的体会

“保持生命，减轻痛苦，促进健康”是护士的权利和义务。在实际工作中认真执行护士权利和全面履行护士义务，是护士工作的神圣职责。输液反应是输液过程中最常见、最容易被医护人员

期刊

输液反应呼吸骤停抢救儿童心跳骤停

μC／OS—Ⅱ的安全研究

与本文相关的学术论文