教育论文网

基于MILS架构的操作系统安全技术研究与实现

硕士博士毕业论文站内搜索    
分类1:教育论文网→工业技术论文→自动化技术、计算机技术论文计算技术、计算机技术论文计算机软件论文操作系统论文
分类2:教育论文网→工业技术论文→自动化技术、计算机技术论文计算技术、计算机技术论文一般性问题论文安全保密论文
基于MILS架构的操作系统安全技术研究与实现
论文目录
 
摘要第1-6页
ABSTRACT第6-11页
第一章 绪论第11-18页
  1.1 研究背景与意义第11页
  1.2 国内外操作系统安全研究现状第11-16页
    1.2.1 国外操作系统安全研究现状第11-14页
    1.2.2 国内操作系统安全研究现状第14页
    1.2.3 基于MILS架构的操作系统安全研究现状第14-16页
  1.3 论文的主要贡献与创新第16页
  1.4 本论文的结构安排第16-18页
第二章 多级安全嵌入式操作系统架构研究第18-32页
  2.1 MILS架构研究第18-21页
    2.1.1 MILS架构简介第18-19页
    2.1.2 分离内核第19-20页
    2.1.3 服务中间件第20-21页
  2.2 可信微内核seL4第21-24页
    2.2.1 seL4微内核模块分析第22-24页
    2.2.2 seL4形式化验证第24页
  2.3 分区隔离机制研究第24-26页
  2.4 嵌入式操作系统虚拟化研究第26-30页
    2.4.1 虚拟化技术第26-27页
    2.4.2 嵌入式虚拟化技术第27-28页
    2.4.3 基于微内核的嵌入式虚拟化第28-30页
  2.5 BLP安全模型第30-31页
  2.6 本章小结第31-32页
第三章 多级安全嵌入式操作系统架构设计第32-49页
  3.1 seL4-MILS架构设计目标分析第32页
  3.2 seL4-MILS总体架构设计第32-35页
  3.3 分区设计第35-38页
    3.3.1 分区管理设计第35页
    3.3.2 分区空间隔离第35-37页
    3.3.3 分区资源访问控制第37-38页
  3.4 分区间通信设计第38-41页
    3.4.1 基于BLP的分区通信模型第38-39页
    3.4.2 分区间通信机制设计第39-41页
3.5“客户”OS半虚拟化设计第41-46页
    3.5.1 CPU半虚拟化设计第42-43页
    3.5.2 中断半虚拟化设计第43-45页
    3.5.3 设备虚拟化设计第45-46页
    3.5.4 空间隔离设计第46页
  3.6 设备服务设计第46-48页
  3.7 本章小结第48-49页
第四章 多级安全嵌入式操作系统实现第49-70页
  4.1 分区管理服务实现第49-56页
    4.1.1 分区管理数据结构第49-50页
    4.1.2 分区创建过程第50-52页
    4.1.3 分区管理服务过程第52-54页
    4.1.4 请求分区管理服务过程第54-56页
  4.2 分区通信服务实现第56-57页
  4.3 设备服务实现第57-62页
    4.3.1 硬件设备初始化第58页
    4.3.2 设备服务注册第58-59页
    4.3.3 设备服务运行过程第59-61页
    4.3.4 设备服务调用第61-62页
  4.4 基于uC/OS的“客户”OS半虚拟化实现第62-69页
    4.4.1 uC/OS敏感指令修改第63-65页
    4.4.2 中断虚拟化第65-68页
    4.4.3 uC/OS设备虚拟化第68-69页
  4.5 本章小结第69-70页
第五章 测试与运行结果分析第70-81页
  5.1 测试环境第70-71页
  5.2 功能测试第71-79页
    5.2.1 原型系统启动与初始化第71-73页
    5.2.2 分区管理服务功能测试第73-75页
    5.2.3 设备服务分区功能测试第75-77页
    5.2.4 分区间通信功能测试第77页
    5.2.5 uC/OS半虚拟化功能测试第77-78页
    5.2.6 虚拟u COS与真实uCOS实时性测试第78-79页
    5.2.7 安全性测试第79页
  5.3 本章小结第79-81页
第六章 总结与展望第81-82页
  6.1 本文工作总结第81页
  6.2 存在的问题和不足第81页
  6.3 后续工作展望第81-82页
致谢第82-83页
参考文献第83-87页
攻读硕士学位期间取得的成果第87-88页

本篇论文共88页,点击这进入下载页面
 
更多论文
基于MILS架构的操作系统安全技术研
会议材料安全保密管理系统的设计与
异构平台下口令恢复任务决策机制研
基于机器学习的Android恶意软件静态
Android木马及其关键技术的研究与实
基于图像的信息隐写与分析技术研究
基于组件和行为相似性的Android恶意
云环境下数据安全存储技术的研究与
云存储下数据隐私保护技术研究
硬件木马的边信道提升技术研究
支持动态操作的云数据审计协议研究
基于SEAndroid的系统安全保护技术的
视频篡改被动认证技术研究
Android应用安全加固技术研究与实现
基于移动服务的位置隐私保护研究
基于位置服务的位置隐私保护研究
面向移动支付的HCE-SD关键技术研究
基于Word文档电子印章系统的设计与
基于HEV技术的注册验证器设计与实现
数据挖掘隐私保护在医疗信息系统中
基于嵌入式Linux的系统完整性认证技
模糊关键字可搜索加密算法的研究与
基于DCT域的数字图像水印算法的研究
云环境下大型矩阵乘法的安全外包方
移动应用的白盒安全技术研究与实现
电力云系统安全访问控制技术研究
基于UEFI固件的安全性研究及恶意代
基于eAUTO实时嵌入式操作系统安全机
基于符号执行的代码安全检查技术研
基于行为监控的病毒程序自动化鉴定
基于Ovirt-Kvm桌面云管理平台安全子
容错增强安全关键实时应用的优化设
基于感兴趣区的医学图像易碎水印算
数字视频混沌加密算法的设计与实现
基于渗透测试的网络游戏平台安全性
移动智能终端地理位置信息的隐私保
面向多租户应用的隐私保护动态评测
面向SSL Error-Handling漏洞的自动
中间相遇攻击的自动检测算法的研究
面向SaaS应用的动态数据隐私保护机
二进制代码函数相似度匹配技术研究
基于相位恢复的光学图像加密和认证
移动群智感知中基于弱安全网络编码
混淆电路在水印协议和分类协议中的
基于权限和多特征信息增益分析的An
混合云计算下基于PKI和IBC组合的身
ZUC算法随机序列统计可视化系统检测
基于细胞神经网络的图像加密方法研
基于H.264/AVC的视频感兴趣区域检测
基于JPEG图像的加密术与隐写术混合
基于身份密码体制的移动支付安全协
基于Android手机的图像加密算法研究
Android应用广告插件的安全机制分析
基于能量权重的信息隐写算法设计与
云存储下数据完整性和安全性研究
移动终端感知安全技术的研究与实现
基于RCC技术的手机支付系统空圈平台
基于cache的边信道攻击可行性分析符
图像无损信息隐藏算法研究
基于差分隐私的社交网络隐私保护方
基于HDCP协议的认证加密算法及软件
高效用隐私保护数据挖掘的研究
线上支付用户对设备便利性与安全忧
基于笔尖运动轨迹的签名认证方法研
Android移动终端隐私数据保护系统设
千万级网络与信息安全事件仿真系统
基于混沌的音视频加密系统的设计与
基于混沌的图像无损压缩加密算法的
基于相位剪切操作非对称光学加密系
JavaScript脚本恶意代码检测系统
程序最差执行时间的混合估算方法研
基于ABAQUS显式分析的钢筋和砌体材
并行程序性能建模关键技术研究
基于Android和LBS的城市交通出行系
遂宁市环保局排污管理系统的设计与
海量异构数据定制平台的设计与实现
MIS系统在移动端扩展的研究与实现—
基于组合Skyline查询的电子地图系统
秦皇岛武警交通某部应急救援系统
 
MILS论文 分区隔离论文 嵌入式虚拟化论文 BLP安全模型论文
版权申明:目录由用户ltzxywct**提供,www.51papers.com仅收录目录,作者需要删除这篇论文目录请点击这里
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved