本文關(guān)鍵詞：一種面向分布式系統(tǒng)的行為分析和檢測方法

  更多相關(guān)文章： 分布式系統(tǒng) 入侵檢測 并發(fā)通信 進程代數(shù) 系統(tǒng)調(diào)用

【摘要】：提出了一種基于進程代數(shù)的行為分析與檢測方法.通過靜態(tài)分析二進制碼獲得系統(tǒng)的控制流程圖,并將其轉(zhuǎn)換為進程表達式;通過消除表達式不確定性、添加并發(fā)操作以及約簡歸并等方式對表達式進行重寫;根據(jù)并發(fā)規(guī)則消除進程表達式中的并發(fā)算子,建立分布式系統(tǒng)的行為檢測模型,并給出行為檢測的方法.理論分析和實驗表明:所提出的方法降低了行為分析和檢測的復(fù)雜度,在控制流分析方面具有較好的精確性.
【作者單位】： 燕山大學(xué)信息科學(xué)與工程學(xué)院;河北科技師范學(xué)院歐美學(xué)院;
【關(guān)鍵詞】： 分布式系統(tǒng) 入侵檢測 并發(fā)通信 進程代數(shù) 系統(tǒng)調(diào)用
【基金】：基金項目國家自然科學(xué)基金資助項目(61272125) 高等學(xué)校博士學(xué)科點專項科研基金資助項目(20121333110014) 秦皇島市科技計劃資助項目(201401A053)
【分類號】：TP393.08
【正文快照】： 分布式系統(tǒng)中存在大量交互行為和并發(fā)行為,在提高系統(tǒng)的處理能力和響應(yīng)速度的同時,引入了大量的復(fù)雜性和不確定性,給異常行為的檢測帶來很大困難.目前,行為分析技術(shù)主要有靜態(tài)分析、動態(tài)分析和混合分析.自文獻[1]提出利用系統(tǒng)調(diào)用序列對程序的正常行為進行建模后,很多學(xué)者都從

【參考文獻】

中國期刊全文數(shù)據(jù)庫 前4條

1 李聞;戴英俠;連一峰;馮萍慧;;基于混雜模型的上下文相關(guān)主機入侵檢測系統(tǒng)[J];軟件學(xué)報;2009年01期

2 孔德光;譚小彬;奚宏生;帥建梅;宮濤;;多線程程序時序分析的隱Markov模型[J];軟件學(xué)報;2010年03期

3 傅建明;陶芬;王丹;張煥國;;基于對象的軟件行為模型[J];軟件學(xué)報;2011年11期

4 申利民;王濤;馬川;;基于進程代數(shù)和系統(tǒng)調(diào)用的軟件行為檢測模型（英文）[J];中國通信;2013年11期

【共引文獻】

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

1 李珍;田俊峰;趙鵬遠;;基于分級屬性的軟件監(jiān)控點可信行為模型[J];電子與信息學(xué)報;2012年06期

2 彭成;楊路明;滿君豐;;網(wǎng)絡(luò)化軟件交互行為動態(tài)建模[J];電子學(xué)報;2013年02期

3 謝豐;謝麗霞;;一種增強的程序行為異常檢測方法[J];計算機科學(xué);2010年03期

4 陶芬;尹芷儀;傅建明;;基于系統(tǒng)調(diào)用的軟件行為模型[J];計算機科學(xué);2010年04期

5 吳瀛;江建慧;張蕊;;基于系統(tǒng)調(diào)用的入侵檢測研究進展[J];計算機科學(xué);2011年01期

6 黃金鐘;朱淼良;;基于程序的異常檢測研究綜述[J];計算機科學(xué);2011年06期

7 張澎;高守平;王魯達;;基于量子遺傳算法優(yōu)化神經(jīng)網(wǎng)絡(luò)的入侵檢測[J];計算機工程;2011年23期

8 黃金鐘;朱淼良;;YACC技術(shù)在網(wǎng)絡(luò)入侵檢測中的應(yīng)用[J];計算機應(yīng)用與軟件;2011年10期

9 田俊峰;韓金娥;杜瑞忠;王勇;;基于軟件行為軌跡的可信性評價模型[J];計算機研究與發(fā)展;2012年07期

10 李珍;田俊峰;楊曉暉;;基于系統(tǒng)調(diào)用屬性的程序行為監(jiān)控[J];計算機研究與發(fā)展;2012年08期

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

1 楊曉暉;軟件行為動態(tài)可信理論模型研究[D];中國科學(xué)技術(shù)大學(xué);2010年

2 何加浪;軟件可信性保障若干關(guān)鍵技術(shù)[D];南京理工大學(xué);2012年

3 韓強;基于行為的軟件可信性度量理論與關(guān)鍵技術(shù)研究[D];北京郵電大學(xué);2013年

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

1 馮波;基于概率包標記的IP追蹤研究與實現(xiàn)[D];江西師范大學(xué);2010年

2 鄭海祥;系統(tǒng)調(diào)用在主機入侵檢測中的研究與應(yīng)用[D];廣東工業(yè)大學(xué);2011年

3 周應(yīng)波;基于P2P移動代理的入侵檢測系統(tǒng)研究與實現(xiàn)[D];南京航空航天大學(xué);2009年

4 張澎;基于量子遺傳算法優(yōu)化BP網(wǎng)絡(luò)的入侵檢測研究[D];湖南大學(xué);2009年

5 韓金娥;基于化簡行為軌跡的軟件可信性評價模型[D];河北大學(xué);2011年

6 牟如玲;基于行為屬性距離的軟件行為可信評價[D];河北大學(xué);2011年

7 朱葉;基于可信包裝的可信軟件構(gòu)造模型[D];河北大學(xué);2011年

8 王亞濤;基于場景挖掘的軟件行為可信評價模型[D];河北大學(xué);2011年

9 任宏宇;基于有限自動機的軟件行為模型評價方法研究[D];北京理工大學(xué);2011年

10 周銀;基于有限自動機的軟件行為建模方法的研究[D];北京理工大學(xué);2011年

【二級參考文獻】

中國期刊全文數(shù)據(jù)庫 前6條

1 譚小彬,王衛(wèi)平,奚宏生,殷保群;計算機系統(tǒng)入侵檢測的隱馬爾可夫模型[J];計算機研究與發(fā)展;2003年02期

2 吳萍;陳意云;張健;;多線程程序數(shù)據(jù)競爭的靜態(tài)檢測[J];計算機研究與發(fā)展;2006年02期

3 陶芬;尹芷儀;傅建明;;基于系統(tǒng)調(diào)用的軟件行為模型[J];計算機科學(xué);2010年04期

4 蘇璞睿;楊軼;;基于可執(zhí)行文件靜態(tài)分析的入侵檢測模型[J];計算機學(xué)報;2006年09期

5 李聞;戴英俠;連一峰;馮萍慧;;基于混雜模型的上下文相關(guān)主機入侵檢測系統(tǒng)[J];軟件學(xué)報;2009年01期

6 ;Static Extracting Method of Software Intended Behavior Based on API Functions Invoking[J];Wuhan University Journal of Natural Sciences;2008年05期

【相似文獻】

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

1 姜冬;王慧強;馮光升;呂宏武;林俊宇;;基于模糊層次化評估的分布式系統(tǒng)自毀感知方法及應(yīng)用[J];小型微型計算機系統(tǒng);2012年04期

2 熊發(fā)驥;;分布式系統(tǒng)的通信體系結(jié)構(gòu)[J];計算機研究與發(fā)展;1982年12期

3 王平,王能斌;一種關(guān)于分布式系統(tǒng)中負載平衡的復(fù)合式算法[J];計算機工程;1988年06期

4 王曉鳴,黃月江;分布式系統(tǒng)中的鑒別機制[J];通信保密;1994年01期

5 余偉麗;高速信息網(wǎng)的資源管理[J];四川教育學(xué)院學(xué)報;1997年03期

6 曾箏,陳劍;基于移動Agent的分布式系統(tǒng)[J];貴州工業(yè)大學(xué)學(xué)報(自然科學(xué)版);2004年04期

7 王曉鵬;蘇亮;韓偉紅;周斌;;大型分布式系統(tǒng)部署一致性的研究與實現(xiàn)[J];微電子學(xué)與計算機;2006年S1期

8 郎波;;面向分布式系統(tǒng)訪問控制的信任度量化模型[J];通信學(xué)報;2010年12期

9 胡金柱;徐松;胡泉;;分布式系統(tǒng)中一種負載平衡調(diào)整算法的研究[J];計算機科學(xué);2001年06期

10 叢蓉,李愷,劉云飛;一種分布式系統(tǒng)網(wǎng)絡(luò)結(jié)構(gòu)的優(yōu)化研究[J];系統(tǒng)工程與電子技術(shù);2003年02期

中國重要會議論文全文數(shù)據(jù)庫 前2條

1 王剛;喬純捷;王躍科;;基于時鐘同步的分布式系統(tǒng)一致全局狀態(tài)[A];第三屆全國虛擬儀器大會論文集[C];2008年

2 楊金民;張大方;楊學(xué)東;;廣域網(wǎng)環(huán)境下大規(guī)模分布式系統(tǒng)的局部回卷恢復(fù)[A];第十屆全國容錯計算學(xué)術(shù)會議論文集[C];2003年

中國重要報紙全文數(shù)據(jù)庫 前1條

1 首都經(jīng)濟貿(mào)易大學(xué) 金勇;用Java和XML構(gòu)建分布式系統(tǒng)[N];計算機世界;2002年

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

1 尚慶紅;半分布式系統(tǒng)資源發(fā)現(xiàn)與資源分配研究[D];電子科技大學(xué);2013年

2 彭艦;基于CORBA的分布式系統(tǒng)中實時—容錯性的研究——分布式系統(tǒng)中動態(tài)調(diào)度的設(shè)計與實現(xiàn)[D];電子科技大學(xué);2004年

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

1 張紅亮;分布式系統(tǒng)時鐘同步技術(shù)的研究與應(yīng)用[D];國防科學(xué)技術(shù)大學(xué);2002年

2 孫燕;面向冗余的分布式系統(tǒng)可靠性的設(shè)計與實現(xiàn)[D];河北大學(xué);2003年

3 楊錦;異構(gòu)分布式系統(tǒng)中的負載均衡調(diào)度算法研究[D];湖南大學(xué);2011年

4 于鉉;基于Jini體系結(jié)構(gòu)的分布式系統(tǒng)研究[D];武漢理工大學(xué);2003年

5 李曉陽;分布式系統(tǒng)中RBAC的設(shè)計與實現(xiàn)[D];中國科學(xué)院研究生院（軟件研究所）;2005年

6 肖國古;基于Web服務(wù)的分布式系統(tǒng)的應(yīng)用研究[D];中南大學(xué);2005年

7 向美紅;基于Web的分布式系統(tǒng)及其應(yīng)用研究[D];西安建筑科技大學(xué);2003年

8 向永歆;無線家庭媒體網(wǎng)絡(luò)分布式系統(tǒng)的設(shè)計與實現(xiàn)[D];華中科技大學(xué);2007年

9 劉滔;基于CORBA的分布式系統(tǒng)數(shù)據(jù)傳輸技術(shù)研究[D];西北工業(yè)大學(xué);2004年

10 阮玲宏;面向分布式系統(tǒng)BTP事務(wù)處理技術(shù)研究[D];哈爾濱工程大學(xué);2011年

，

本文編號：680332