隨著計(jì)算機(jī)產(chǎn)業(yè)的不斷發(fā)展和變革,嵌入式系統(tǒng)的研發(fā)已經(jīng)成為熱門(mén)的研究領(lǐng)域,并且成功的應(yīng)用到了社會(huì)的各個(gè)行業(yè),如制造業(yè),服務(wù)業(yè),國(guó)防,互聯(lián)網(wǎng)等。然而,嵌入式系統(tǒng)在走向網(wǎng)絡(luò)應(yīng)用的同時(shí)所暴露出來(lái)的信息安全問(wèn)題日益嚴(yán)重,信息的泄漏,非法修改,人為的破壞等給整個(gè)社會(huì)造成了巨大的損害。以往一旦發(fā)現(xiàn)出對(duì)系統(tǒng)的滲透或識(shí)別出被利用的漏洞,就刪除它們,但是在漏洞被彌補(bǔ)之前就已經(jīng)造成重大損失。因此,可取的方法是在系統(tǒng)生命周期的早期階段,系統(tǒng)部署或?qū)崿F(xiàn)之前,就認(rèn)真地考慮安全問(wèn)題。本文針對(duì)嵌入式系統(tǒng)在網(wǎng)絡(luò)應(yīng)用中所面臨的安全威脅,提出一種基于模型集成計(jì)算（MIC）理論的嵌入式系統(tǒng)安全模型設(shè)計(jì)方法,該方法采用面向領(lǐng)域的圖形化語(yǔ)言在系統(tǒng)的設(shè)計(jì)階段建立安全分析模型,并整合到嵌入式軟件系統(tǒng)建模過(guò)程中。具體工作包括以下幾個(gè)方面:1)論文理論基礎(chǔ)的研究以及方法對(duì)比。對(duì)本文理論核心模型集成計(jì)算及領(lǐng)域建模語(yǔ)言進(jìn)行分析研究,并與統(tǒng)一建模語(yǔ)言進(jìn)行對(duì)比分析,分析表明,在采用模型集成計(jì)算對(duì)嵌入式建模中,領(lǐng)域建模語(yǔ)言能夠更好的適應(yīng)嵌入式系統(tǒng)復(fù)雜多變的物理環(huán)境;2)嵌入式系統(tǒng)的安全分析,并提出基于策略的安全模型。對(duì)嵌入式系統(tǒng)在網(wǎng)絡(luò)應(yīng)用中所暴露... 

【文章來(lái)源】：西華大學(xué)四川省

【文章頁(yè)數(shù)】：69 頁(yè)

【學(xué)位級(jí)別】：碩士

【文章目錄】：
摘要
Abstract
1 引言
    1.1 研究背景及意義
    1.2 國(guó)內(nèi)外研究現(xiàn)狀
    1.3 本文內(nèi)容綱要
2 論文理論基礎(chǔ)
    2.1 模型集成計(jì)算
        2.1.1 模型集成計(jì)算的發(fā)展及其內(nèi)容
        2.1.2 MIC 主要特點(diǎn)及應(yīng)用現(xiàn)狀
    2.2 特定領(lǐng)域建模
        2.2.1 特定領(lǐng)域建模的內(nèi)容
        2.2.2 DSM 工作原理
    2.3 領(lǐng)域建模語(yǔ)言
        2.3.1 DSML 發(fā)展歷史簡(jiǎn)介及其內(nèi)容
        2.3.2 DSML 主要特點(diǎn)及其應(yīng)用現(xiàn)狀
        2.3.3 DSM 與UML
    2.4 建模工具
        2.4.1 支持DSM 的建模工具
        2.4.2 通用建模環(huán)境
    2.5 模型解釋器
    2.6 本章小結(jié)
3 基于策略的安全模型
    3.1 安全系統(tǒng)分析
        3.1.1 系統(tǒng)安全需求
        3.1.2 安全威脅
    3.2 安全策略
        3.2.1 軍用安全策略
        3.2.2 Bell-LaPadula
        3.2.3 Biba 模型
    3.3 基于策略的安全模型
    3.4 本章小結(jié)
4 嵌入式系統(tǒng)安全模型設(shè)計(jì)
    4.1 總體設(shè)計(jì)方案
    4.2 信息流分析模型
        4.2.1 信息流分析
        4.2.2 信息流分析模型建模
    4.3 威脅模型
        4.3.1 威脅模型分析
        4.3.2 威脅模型
    4.4 SAL 的執(zhí)行
    4.5 本章小結(jié)
5 安全模型應(yīng)用
    5.1 安全分析融入現(xiàn)有工具鏈
    5.2 嵌入式控制系統(tǒng)
    5.3 安全模型在嵌入式系統(tǒng)中的應(yīng)用
        5.3.1 威脅模型
        5.3.2 動(dòng)態(tài)鏈接庫(kù)文件
    5.4 本章小結(jié)
6 總結(jié)與展望
    6.1 總結(jié)
    6.2 展望
參考文獻(xiàn)
附錄
作者在讀期間科研成果簡(jiǎn)介
致謝



本文編號(hào)：3194793