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

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

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

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

【文章目錄】：
摘要
Abstract
1 引言
    1.1 研究背景及意義
    1.2 國內(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)域建模語言
        2.3.1 DSML 發(fā)展歷史簡介及其內(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)鏈接庫文件
    5.4 本章小結(jié)
6 總結(jié)與展望
    6.1 總結(jié)
    6.2 展望
參考文獻(xiàn)
附錄
作者在讀期間科研成果簡介
致謝



本文編號：3194793