本文選題：信息流控制 + 安全模型��； 參考：《軟件學(xué)報(bào)》2017年01期

【摘要】：信息流控制能夠保證數(shù)據(jù)與隱私端到端安全,一直是信息安全領(lǐng)域研究的重點(diǎn)和難點(diǎn).為介紹信息流控制相關(guān)的研究現(xiàn)狀和進(jìn)展,首先,從基于格、安全類型系統(tǒng)、安全進(jìn)程代數(shù)和自動機(jī)這4個(gè)方面介紹了信息流控制的基本理論與模型;其次,從計(jì)算機(jī)層次結(jié)構(gòu)由下而上出發(fā),綜述了基于硬件、操作系統(tǒng)、虛擬機(jī)、高級語言、低級語言、數(shù)據(jù)庫和網(wǎng)絡(luò)的信息流控制實(shí)現(xiàn)方法,并對比了各類研究的特點(diǎn);然后,結(jié)合當(dāng)今時(shí)代前沿技術(shù),分析了信息流控制在云計(jì)算、移動互聯(lián)、大數(shù)據(jù)和物聯(lián)網(wǎng)等新技術(shù)下的應(yīng)用;最后,總結(jié)了當(dāng)前信息流控制相關(guān)研究中存在的問題,并針對今后該領(lǐng)域的研究趨勢進(jìn)行了展望,對下一步研究工作有一定的參考價(jià)值.
[Abstract]:Information flow control, which can guarantee the end-to-end security of data and privacy, has always been the focus and difficulty in the field of information security.In order to introduce the research status and progress of information flow control, firstly, the basic theory and model of information flow control are introduced from four aspects: lattice-based, safety type system, security process algebra and automata.Starting from the bottom up of computer hierarchy, this paper summarizes the methods of information flow control based on hardware, operating system, virtual machine, high-level language, low-level language, database and network, and compares the characteristics of all kinds of research.This paper analyzes the application of information flow control in cloud computing, mobile interconnection, big data and Internet of things, and summarizes the problems existing in the current research on information flow control.The future research trend in this field is prospected, which has certain reference value for the next research work.
【作者單位】： 解放軍信息工程大學(xué);密碼科學(xué)技術(shù)國家重點(diǎn)實(shí)驗(yàn)室;河南省信息安全重點(diǎn)實(shí)驗(yàn)室;
【基金】：國家高技術(shù)研究發(fā)展計(jì)劃(863)(2015AA016006,2012AA012704)~~
【分類號】：TP309

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 劉永,楊偉政;信息空間拓展與信息流控制[J];檔案管理;2000年03期

2 王立斌;;基于類型系統(tǒng)的完整性信息流控制[J];華南師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2006年03期

3 范艷芳;;基于訪問和信息流控制的機(jī)密性保障框架[J];北京信息科技大學(xué)學(xué)報(bào)(自然科學(xué)版);2012年06期

4 張懷方;左曉棟;劉剛;;基于虛擬化技術(shù)的信息流控制方法[J];信息安全與技術(shù);2013年08期

5 張來順;;用信息流控制保證軟件可信運(yùn)行[J];計(jì)算機(jī)應(yīng)用與軟件;2011年04期

6 王思明;計(jì)算機(jī)局部網(wǎng)絡(luò)信息流控制的仿真[J];計(jì)算機(jī)應(yīng)用;1987年06期

7 吳大剛;靖繼鵬;;信息流控制下的ITO產(chǎn)業(yè)運(yùn)營模式研究[J];情報(bào)科學(xué);2007年11期

8 楊霞;古和亦;汪強(qiáng);桑楠;熊光澤;;Hades高可信架構(gòu)中分區(qū)間信息流控制的研究[J];電子科技大學(xué)學(xué)報(bào);2012年01期

9 封利民;龔傳信;高曉利;孫強(qiáng);張莉;;裝備保障鏈中信息流的管理與控制探討[J];電光與控制;2007年01期

10 史磊;蔡國永;隋新;;電子機(jī)構(gòu)的信息流控制研究[J];計(jì)算機(jī)工程;2011年02期

相關(guān)博士學(xué)位論文 前1條

1 梁宗文;復(fù)雜網(wǎng)絡(luò)結(jié)構(gòu)及信息流控制研究[D];電子科技大學(xué);2015年

相關(guān)碩士學(xué)位論文 前5條

1 吳澤智;細(xì)粒度信息流控制模型及其關(guān)鍵技術(shù)研究[D];解放軍信息工程大學(xué);2015年

2 李浩文;企業(yè)信息流控制研究[D];華中師范大學(xué);2008年

3 成亞萌;MILS系統(tǒng)中分區(qū)間的信息流控制[D];西安電子科技大學(xué);2012年

4 李春源;信息技術(shù)外包（ITO）產(chǎn)業(yè)信息流控制機(jī)制研究[D];黑龍江大學(xué);2008年

5 舒逸;分布式環(huán)境下隱私增強(qiáng)技術(shù)的研究[D];上海交通大學(xué);2012年

，

本文編號：1755376