基于MIC理论的嵌入式系统安全模型的设计与研究

发布时间：2021-05-19 00:51

　　随着计算机产业的不断发展和变革,嵌入式系统的研发已经成为热门的研究领域,并且成功的应用到了社会的各个行业,如制造业,服务业,国防,互联网等。然而,嵌入式系统在走向网络应用的同时所暴露出来的信息安全问题日益严重,信息的泄漏,非法修改,人为的破坏等给整个社会造成了巨大的损害。以往一旦发现出对系统的渗透或识别出被利用的漏洞,就删除它们,但是在漏洞被弥补之前就已经造成重大损失。因此,可取的方法是在系统生命周期的早期阶段,系统部署或实现之前,就认真地考虑安全问题。本文针对嵌入式系统在网络应用中所面临的安全威胁,提出一种基于模型集成计算（MIC）理论的嵌入式系统安全模型设计方法,该方法采用面向领域的图形化语言在系统的设计阶段建立安全分析模型,并整合到嵌入式软件系统建模过程中。具体工作包括以下几个方面:1)论文理论基础的研究以及方法对比。对本文理论核心模型集成计算及领域建模语言进行分析研究,并与统一建模语言进行对比分析,分析表明,在采用模型集成计算对嵌入式建模中,领域建模语言能够更好的适应嵌入式系统复杂多变的物理环境;2)嵌入式系统的安全分析,并提出基于策略的安全模型。对嵌入式系统在网络应用中所暴露... 

【文章来源】：西华大学四川省

【文章页数】：69 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
1 引言
    1.1 研究背景及意义
    1.2 国内外研究现状
    1.3 本文内容纲要
2 论文理论基础
    2.1 模型集成计算
        2.1.1 模型集成计算的发展及其内容
        2.1.2 MIC 主要特点及应用现状
    2.2 特定领域建模
        2.2.1 特定领域建模的内容
        2.2.2 DSM 工作原理
    2.3 领域建模语言
        2.3.1 DSML 发展历史简介及其内容
        2.3.2 DSML 主要特点及其应用现状
        2.3.3 DSM 与UML
    2.4 建模工具
        2.4.1 支持DSM 的建模工具
        2.4.2 通用建模环境
    2.5 模型解释器
    2.6 本章小结
3 基于策略的安全模型
    3.1 安全系统分析
        3.1.1 系统安全需求
        3.1.2 安全威胁
    3.2 安全策略
        3.2.1 军用安全策略
        3.2.2 Bell-LaPadula
        3.2.3 Biba 模型
    3.3 基于策略的安全模型
    3.4 本章小结
4 嵌入式系统安全模型设计
    4.1 总体设计方案
    4.2 信息流分析模型
        4.2.1 信息流分析
        4.2.2 信息流分析模型建模
    4.3 威胁模型
        4.3.1 威胁模型分析
        4.3.2 威胁模型
    4.4 SAL 的执行
    4.5 本章小结
5 安全模型应用
    5.1 安全分析融入现有工具链
    5.2 嵌入式控制系统
    5.3 安全模型在嵌入式系统中的应用
        5.3.1 威胁模型
        5.3.2 动态链接库文件
    5.4 本章小结
6 总结与展望
    6.1 总结
    6.2 展望
参考文献
附录
作者在读期间科研成果简介
致谢



本文编号：3194793