本文關(guān)鍵詞：一種面向移動(dòng)計(jì)算的機(jī)密性與完整性模型，，由筆耕文化傳播整理發(fā)布。

【摘要】：機(jī)密性和完整性是移動(dòng)計(jì)算的兩個(gè)重要特性,如何保障機(jī)密性和完整性是移動(dòng)計(jì)算的重大挑戰(zhàn).利用π演算能有效建模移動(dòng)并發(fā)系統(tǒng)的特征,借鑒程序語(yǔ)言中不同類型變量之間的賦值方式,提出基于混雜類型檢測(cè)的安全π演算(Hybrid Typed Securityπ,πHTS).根據(jù)πHTS利用靜態(tài)類型檢測(cè)保障低機(jī)密級(jí)信息只能向同等或更高機(jī)密級(jí)流動(dòng),高完整級(jí)信息只能向同等或更低完整級(jí)流動(dòng),針對(duì)機(jī)密性和完整性在信息流向上的相反性,提出了基于強(qiáng)制類型轉(zhuǎn)化的有效動(dòng)態(tài)轉(zhuǎn)換框架.πHTS將靜態(tài)檢測(cè)和動(dòng)態(tài)檢測(cè)有機(jī)地整合在一起,形成了一種統(tǒng)一的安全形式模型.它能同時(shí)保障移動(dòng)計(jì)算中的機(jī)密性和完整性,具有較好的可用性.
【作者單位】： 中國(guó)科學(xué)院信息工程研究所;廣西可信軟件重點(diǎn)實(shí)驗(yàn)室(桂林電子科技大學(xué));國(guó)家計(jì)算機(jī)網(wǎng)絡(luò)應(yīng)急技術(shù)處理協(xié)調(diào)中心;
【關(guān)鍵詞】： 機(jī)密性 完整性 混雜類型檢測(cè) 移動(dòng)計(jì)算 移動(dòng)互聯(lián)網(wǎng)
【基金】：國(guó)家“八六三”高技術(shù)研究發(fā)展計(jì)劃項(xiàng)目基金(2013AA014002) 國(guó)家自然科學(xué)基金(61100186,61070186,61063002,61262008) 廣西混雜計(jì)算與集成電路設(shè)計(jì)分析重點(diǎn)實(shí)驗(yàn)室(HCIC201107)資助~~
【分類號(hào)】：TP393.09;TN929.5
【正文快照】： 1引言移動(dòng)互聯(lián)網(wǎng)在世界范圍內(nèi)廣泛應(yīng)用,僅在中國(guó)2010年底手機(jī)上網(wǎng)用戶就達(dá)3.03億[1],據(jù)中國(guó)互聯(lián)網(wǎng)數(shù)據(jù)中心DCCI(Data Center of the ChinaInternet)預(yù)測(cè),2015年底中國(guó)手機(jī)上網(wǎng)用戶將達(dá)9.19億①,移動(dòng)互聯(lián)網(wǎng)正在深刻地影響著人們的生活及工作方式.安全問(wèn)題作為移動(dòng)互聯(lián)網(wǎng)的挑戰(zhàn)

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前3條

1 李益發(fā);沈昌祥;;一種新的操作系統(tǒng)安全模型[J];中國(guó)科學(xué)E輯:信息科學(xué);2006年04期

2 羅軍舟;吳文甲;楊明;;移動(dòng)互聯(lián)網(wǎng):終端、網(wǎng)絡(luò)與服務(wù)[J];計(jì)算機(jī)學(xué)報(bào);2011年11期

3 胡海洋;李忠金;胡華;趙格華;;面向移動(dòng)社交網(wǎng)絡(luò)的協(xié)作式內(nèi)容分發(fā)機(jī)制[J];計(jì)算機(jī)學(xué)報(bào);2013年03期

【共引文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 唐為民;彭雙和;韓臻;沈昌祥;;一種基于角色的強(qiáng)制訪問(wèn)控制模型[J];北京交通大學(xué)學(xué)報(bào);2010年02期

2 郭敦;張?zhí)熵?cái);;論移動(dòng)互聯(lián)網(wǎng)環(huán)境下高校"泛在學(xué)習(xí)"的構(gòu)建[J];電腦知識(shí)與技術(shù);2012年09期

3 汪松松;;基于云計(jì)算理論的“三農(nóng)”信息平臺(tái)研究[J];安徽農(nóng)業(yè)科學(xué);2012年36期

4 周正;張俊;沈昌祥;;一種新的計(jì)算機(jī)抗攻擊自身免疫模型[J];計(jì)算機(jī)工程與應(yīng)用;2007年16期

5 周正;劉毅;沈昌祥;;一種新的保密性與完整性統(tǒng)一安全策略[J];計(jì)算機(jī)工程與應(yīng)用;2007年34期

6 周正;李建;張俊;;一種主體行為可信度量模型[J];計(jì)算機(jī)工程;2008年07期

7 吳志剛;蘇安婕;韓愷;;異構(gòu)無(wú)線Mesh網(wǎng)絡(luò)的最優(yōu)下載算法[J];計(jì)算機(jī)工程與應(yīng)用;2012年24期

8 王維;楊明;羅軍舟;劉波;;多射頻無(wú)線Mesh網(wǎng)絡(luò)組播端到端時(shí)延建模與優(yōu)化[J];計(jì)算機(jī)學(xué)報(bào);2012年07期

9 姬莉霞;馬建紅;張雷;;基于Android的智能圖像共享系統(tǒng)的研究[J];計(jì)算機(jī)與現(xiàn)代化;2012年08期

10 李大明;曹萬(wàn)華;張煥;;基于可變標(biāo)簽的訪問(wèn)控制策略設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)科學(xué);2012年12期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前1條

1 邵志鵬;;移動(dòng)互聯(lián)網(wǎng)環(huán)境下的電力智能終端防護(hù)技術(shù)研究[A];2012年電力通信管理暨智能電網(wǎng)通信技術(shù)論壇論文集[C];2013年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 李勇;基于可信計(jì)算的應(yīng)用環(huán)境安全研究[D];解放軍信息工程大學(xué);2011年

2 趙佳;可信認(rèn)證關(guān)鍵技術(shù)研究[D];北京交通大學(xué);2008年

3 趙勇;重要信息系統(tǒng)安全體系結(jié)構(gòu)及實(shí)用模型研究[D];北京交通大學(xué);2008年

4 胡俊;高安全級(jí)別可信操作系統(tǒng)實(shí)現(xiàn)研究[D];中國(guó)科學(xué)院研究生院（電子學(xué)研究所）;2008年

5 黃勇;安全系統(tǒng)形式化設(shè)計(jì)與分析研究[D];浙江大學(xué);2009年

6 姚崎;高性能可信區(qū)域邊界防護(hù)體系結(jié)構(gòu)及關(guān)鍵技術(shù)[D];北京交通大學(xué);2011年

7 高朝勤;信息系統(tǒng)等級(jí)保護(hù)中的多級(jí)安全技術(shù)研究[D];北京工業(yè)大學(xué);2012年

8 王立才;上下文感知推薦系統(tǒng)若干關(guān)鍵技術(shù)研究[D];北京郵電大學(xué);2012年

9 辛思遠(yuǎn);操作系統(tǒng)可信證明體系結(jié)構(gòu)與模型研究[D];解放軍信息工程大學(xué);2012年

10 陳婷;可信遠(yuǎn)程證明協(xié)議的研究[D];華東理工大學(xué);2013年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 施超;基于可信平臺(tái)的密鑰技術(shù)的研究與應(yīng)用[D];南京理工大學(xué);2011年

2 董文超;VxWorks系統(tǒng)訪問(wèn)控制機(jī)制研究[D];解放軍信息工程大學(xué);2010年

3 汪洋;文件型惡意程序的定義及防御方法研究與實(shí)現(xiàn)[D];國(guó)防科學(xué)技術(shù)大學(xué);2011年

4 段志鵬;計(jì)算機(jī)文件防攻擊技術(shù)的研究與實(shí)現(xiàn)[D];國(guó)防科學(xué)技術(shù)大學(xué);2011年

5 王麗華;基于可信計(jì)算的身份認(rèn)證研究與實(shí)現(xiàn)[D];南京理工大學(xué);2012年

6 譚清;一種主動(dòng)防御可執(zhí)行惡意代碼的方法及其實(shí)現(xiàn)[D];北京交通大學(xué);2008年

7 李明;基于網(wǎng)絡(luò)行為分析的未知惡意代碼檢測(cè)系統(tǒng)的研究與實(shí)現(xiàn)[D];電子科技大學(xué);2009年

8 程艷;嵌入式病毒的傳播原理和主動(dòng)防御技術(shù)的研究[D];天津科技大學(xué);2009年

9 李雪峰;基于CW擴(kuò)展模型的入侵防御系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[D];解放軍信息工程大學(xué);2008年

10 劉智君;涉密環(huán)境下的可信存儲(chǔ)模型及存儲(chǔ)設(shè)備體系結(jié)構(gòu)研究[D];北京工業(yè)大學(xué);2010年

【二級(jí)參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前5條

1 潘曉;郝興;孟小峰;;基于位置服務(wù)中的連續(xù)查詢隱私保護(hù)研究[J];計(jì)算機(jī)研究與發(fā)展;2010年01期

2 王玉祥;喬秀全;李曉峰;孟洛明;;上下文感知的移動(dòng)社交網(wǎng)絡(luò)服務(wù)選擇機(jī)制研究[J];計(jì)算機(jī)學(xué)報(bào);2010年11期

3 周傲英;楊彬;金澈清;馬強(qiáng);;基于位置的服務(wù):架構(gòu)與進(jìn)展[J];計(jì)算機(jī)學(xué)報(bào);2011年07期

4 孫鑫;劉衍珩;朱建啟;李飛鵬;;社交網(wǎng)絡(luò)蠕蟲仿真建模研究[J];計(jì)算機(jī)學(xué)報(bào);2011年07期

5 羅軍舟;吳文甲;楊明;;移動(dòng)互聯(lián)網(wǎng):終端、網(wǎng)絡(luò)與服務(wù)[J];計(jì)算機(jī)學(xué)報(bào);2011年11期

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前1條

1 張明華;基于WLAN的室內(nèi)定位技術(shù)研究[D];上海交通大學(xué);2009年

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 展超;DVD終于來(lái)了——談DVD大舉進(jìn)入移動(dòng)計(jì)算領(lǐng)域[J];中國(guó)計(jì)算機(jī)用戶;1999年30期

2 侯德恒;蘇靜;;對(duì)支持移動(dòng)計(jì)算的無(wú)線網(wǎng)絡(luò)中的用戶認(rèn)證機(jī)制的研究[J];廣西輕工業(yè);2007年08期

3 胡山泉;李滄海;劉耀輝;;一種移動(dòng)云計(jì)算技術(shù)的圖像檢索系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[J];價(jià)值工程;2011年02期

4 裴珂,李建東,董海霞,郭峰;IP移動(dòng)性研究[J];西安電子科技大學(xué)學(xué)報(bào);2001年05期

5 ;訊寶推出新的語(yǔ)音識(shí)別移動(dòng)計(jì)算解決方案[J];電子產(chǎn)品世界;2005年17期

6 龐燕 ,孫宏波;網(wǎng)絡(luò)延伸 移動(dòng)無(wú)限[J];微電腦世界;2001年10期

7 滕文星;李士寧;尹小燕;;移動(dòng)協(xié)同感知研究綜述[J];計(jì)算機(jī)科學(xué);2008年06期

8 吳常國(guó),楊庚,沈金龍;移動(dòng)代理技術(shù)在移動(dòng)計(jì)算中的應(yīng)用[J];南京郵電學(xué)院學(xué)報(bào)(自然科學(xué)版);2000年04期

9 向軍;;基于無(wú)線射頻技術(shù)的移動(dòng)信息終端設(shè)計(jì)[J];廣東技術(shù)師范學(xué)院學(xué)報(bào);2007年07期

10 劉剛,李德敏,趙麗娜;移動(dòng)計(jì)算中基于Rough Set的時(shí)間序列研究與應(yīng)用[J];計(jì)算機(jī)工程;2003年18期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前10條

1 侯嘉;羅敏;李斌;;移動(dòng)通信環(huán)境下對(duì)稱密鑰分發(fā)安全機(jī)制[A];第十一屆保密通信與信息安全現(xiàn)狀研討會(huì)論文集[C];2009年

2 曹遠(yuǎn)福;孫星明;王保衛(wèi);鄧慧娟;;基于關(guān)聯(lián)數(shù)字水印的無(wú)線傳感器網(wǎng)絡(luò)數(shù)據(jù)完整性保護(hù)[A];第八屆全國(guó)信息隱藏與多媒體安全學(xué)術(shù)大會(huì)湖南省計(jì)算機(jī)學(xué)會(huì)第十一屆學(xué)術(shù)年會(huì)論文集[C];2009年

3 朱道飛;汪東艷;劉欣然;黨勁峰;隆克平;;無(wú)線ad hoc網(wǎng)絡(luò)路由安全的策略研究[A];2005通信理論與技術(shù)新進(jìn)展——第十屆全國(guó)青年通信學(xué)術(shù)會(huì)議論文集[C];2005年

4 姚勇軍;李云;;SIP安全性及解決策略分析[A];2008通信理論與技術(shù)新進(jìn)展——第十三屆全國(guó)青年通信學(xué)術(shù)會(huì)議論文集（上）[C];2008年

5 邱慧敏;楊義先;;安全的無(wú)線傳感器網(wǎng)絡(luò):問(wèn)題和對(duì)策[A];全國(guó)網(wǎng)絡(luò)與信息安全技術(shù)研討會(huì)'2005論文集（下冊(cè)）[C];2005年

6 侯雪峰;;移動(dòng)計(jì)算環(huán)境中的語(yǔ)義緩存技術(shù)研究[A];黑龍江省通信學(xué)會(huì)學(xué)術(shù)年會(huì)論文集[C];2005年

7 劉海濤;;3G移動(dòng)通信系統(tǒng)安全體系結(jié)構(gòu)研究[A];2005'中國(guó)通信學(xué)會(huì)無(wú)線及移動(dòng)通信委員會(huì)學(xué)術(shù)年會(huì)論文集[C];2005年

8 董尼;沈明玉;羅維思;;基于AES與ECC的混合密碼體制的研究與實(shí)現(xiàn)[A];計(jì)算機(jī)技術(shù)與應(yīng)用進(jìn)展——全國(guó)第17屆計(jì)算機(jī)科學(xué)與技術(shù)應(yīng)用（CACIS）學(xué)術(shù)會(huì)議論文集（下冊(cè)）[C];2006年

9 張千;梁鴻;;移動(dòng)計(jì)算力共享網(wǎng)格資源的模型研究[A];2007通信理論與技術(shù)新發(fā)展——第十二屆全國(guó)青年通信學(xué)術(shù)會(huì)議論文集（下冊(cè)）[C];2007年

10 張小強(qiáng);楊放春;;一種基于網(wǎng)格的移動(dòng)業(yè)務(wù)管理運(yùn)營(yíng)服務(wù)模型[A];2006年全國(guó)通信軟件學(xué)術(shù)會(huì)議論文集[C];2006年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前10條

1 本報(bào)記者 張s酆險(xiǎn)

本文編號(hào)：432976