本文關(guān)鍵詞：基于進程代數(shù)的并發(fā)行為檢測模型

  更多相關(guān)文章： 入侵檢測 并發(fā)行為 靜態(tài)分析 進程代數(shù) 系統(tǒng)調(diào)用

【摘要】：針對并發(fā)行為難以描述和檢測的問題,引入進程代數(shù)對系統(tǒng)調(diào)用序列進行分析,提出一種描述和檢測并發(fā)行為的模型。首先通過靜態(tài)分析二進制碼得到系統(tǒng)的控制流程圖,并對流程圖進行分析生成進程表達式;接著針對并發(fā)行為的互斥和同步關(guān)系重寫表達式,向表達式中添加并發(fā)操作;然后通過擴展進程代數(shù)的性質(zhì)和運算法則構(gòu)造出動作、算子和進程3個基本元素,進而建立了模型;最后給出并發(fā)行為檢測的方法并對模型的時空效率進行了分析和驗證。理論分析和實驗表明,所提出的方法具有線性的時間和空間復(fù)雜度。
【作者單位】： 燕山大學(xué)信息科學(xué)與工程學(xué)院;河北科技師范學(xué)院;
【關(guān)鍵詞】： 入侵檢測 并發(fā)行為 靜態(tài)分析 進程代數(shù) 系統(tǒng)調(diào)用
【基金】：國家自然科學(xué)基金資助項目(61272125) 教育部高等學(xué)校博士學(xué)科點專項科研基金資助項目(20121333110014) 河北省自然科學(xué)基金資助項目(F2011203234)
【分類號】：TP393.08
【正文快照】： 目前,并發(fā)行為的分析技術(shù)是順序行為分析技術(shù)的擴展和深化。自Forrest[1]提出利用系統(tǒng)調(diào)用序列對程序的正常行為進行建模后,很多學(xué)者都從系統(tǒng)調(diào)用這一層次來研究軟件的行為特征。Wag-ner[2]等利用系統(tǒng)調(diào)用、返回地址、函數(shù)調(diào)用棧等信息,討論了基于不確定有窮自動機的callgraph

【參考文獻】

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

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

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

3 傅建明;陶芬;王丹;張煥國;;基于對象的軟件行為模型[J];軟件學(xué)報;2011年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 馮波;基于概率包標(biāo)記的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 楊向榮,宋擒豹,沈鈞毅;基于數(shù)據(jù)挖掘的智能化入侵檢測系統(tǒng)[J];計算機工程;2001年09期

2 祁建清,閆鑌,楊正;IDS研究概述[J];電子對抗技術(shù);2001年04期

3 李煥洲;網(wǎng)絡(luò)安全和入侵檢測技術(shù)[J];四川師范大學(xué)學(xué)報(自然科學(xué)版);2001年04期

4 周繼軍,李祥和;面向用戶的網(wǎng)絡(luò)安全預(yù)警系統(tǒng)[J];網(wǎng)絡(luò)安全技術(shù)與應(yīng)用;2001年01期

5 董小玲;;金諾網(wǎng)安與天融信結(jié)成產(chǎn)品聯(lián)盟[J];計算機安全;2001年08期

6 杜濱,楊壽保;基于入侵檢測的立體防御系統(tǒng)體系結(jié)構(gòu)研究[J];計算機工程與應(yīng)用;2002年20期

7 盧桂艷,郭權(quán),蘇飛;基于移動代理的入侵檢測系統(tǒng)的研究[J];大連民族學(xué)院學(xué)報;2002年03期

8 斯海飛,趙國慶;網(wǎng)絡(luò)入侵檢測技術(shù)研究[J];火控雷達技術(shù);2002年02期

9 翁艷彬,周序生;入侵檢測系統(tǒng)綜述[J];中國包裝工業(yè);2002年05期

10 章夏芬,溫濤;基于數(shù)據(jù)挖掘、智能代理的入侵檢測和響應(yīng)[J];計算機工程;2003年07期

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

1 王東;王麗娜;董曉梅;于戈;申德榮;;基于免疫思想的入侵檢測研究[A];第十九屆全國數(shù)據(jù)庫學(xué)術(shù)會議論文集（技術(shù)報告篇）[C];2002年

2 廖桂平;喻飛;沈岳;張林峰;徐成;;入侵檢測系統(tǒng)性能評估中實驗環(huán)境的仿真[A];第二十六屆中國控制會議論文集[C];2007年

3 王卉;屈強;;面向入侵檢測的數(shù)據(jù)挖掘:研究與發(fā)展[A];第二十四屆中國數(shù)據(jù)庫學(xué)術(shù)會議論文集（技術(shù)報告篇）[C];2007年

4 周濤;;基于數(shù)據(jù)挖掘的入侵檢測日志分析技術(shù)研究[A];第二屆中國科學(xué)院博士后學(xué)術(shù)年會暨高新技術(shù)前沿與發(fā)展學(xué)術(shù)會議程序冊[C];2010年

5 王曉光;;投資方案靜態(tài)分析方法的改進[A];管理科學(xué)與系統(tǒng)科學(xué)進展——全國青年管理科學(xué)與系統(tǒng)科學(xué)論文集（第4卷）[C];1997年

6 葉穎;嚴(yán)毅;;UNIX的入侵檢測及防范[A];廣西計算機學(xué)會——2004年學(xué)術(shù)年會論文集[C];2004年

7 李艷輝;李雷;萬明;;基于分層結(jié)構(gòu)的無線傳感器網(wǎng)絡(luò)入侵檢測系統(tǒng)[A];2010年通信理論與信號處理學(xué)術(shù)年會論文集[C];2010年

8 閆耀輝;臧洌;黃同心;;基于協(xié)同訓(xùn)練的Co-Forest算法在入侵檢測中的應(yīng)用[A];2010通信理論與技術(shù)新發(fā)展——第十五屆全國青年通信學(xué)術(shù)會議論文集（下冊）[C];2010年

9 王敏;高翔;李宏偉;;模糊邏輯及遺傳算法在入侵檢測中的應(yīng)用[A];首屆信息獲取與處理學(xué)術(shù)會議論文集[C];2003年

10 沈權(quán);;基于自治代理的分布式入侵檢測系統(tǒng)的研究[A];全國第16屆計算機科學(xué)與技術(shù)應(yīng)用（CACIS）學(xué)術(shù)會議論文集[C];2004年

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

1 鐘力 姚蘭 梁中騏;抓住罪惡之“手”[N];網(wǎng)絡(luò)世界;2004年

2 ;NetScreen-IDP 500 高端入侵檢測與防護設(shè)備[N];計算機世界;2003年

3 行健;啟明星辰發(fā)布天闐入侵檢測與管理系統(tǒng)V6.0[N];國際商報;2004年

4 啟明星辰信息技術(shù)有限公司總裁兼CEO 嚴(yán)望佳;啟明星辰：追求產(chǎn)業(yè)創(chuàng)新[N];電腦商報;2008年

5 王明毅;入侵檢測融合漏洞掃描技術(shù)帶來產(chǎn)品新突破[N];中國石油報;2004年

6 Henry Wang;誤報漏報是個難點[N];中國計算機報;2004年

7 ;如何選擇和使用UTM設(shè)備[N];網(wǎng)絡(luò)世界;2009年

8 北京 張率;防黑第一招[N];中國電腦教育報;2001年

9 李剛;打IDS“組合拳”[N];中國計算機報;2004年

10 ;入侵檢測產(chǎn)品功能指標(biāo)說明[N];網(wǎng)絡(luò)世界;2001年

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

1 馬振嬰;混合軟計算技術(shù)在入侵檢測中的應(yīng)用研究[D];重慶大學(xué);2010年

2 鄭凱梅;基于統(tǒng)計機器學(xué)習(xí)的網(wǎng)絡(luò)入侵檢測分類研究[D];中國礦業(yè)大學(xué)（北京）;2010年

3 耿立中;基于入侵檢測的附網(wǎng)存儲設(shè)備安全關(guān)鍵技術(shù)研究[D];清華大學(xué);2010年

4 吳靜;入侵檢測中神經(jīng)網(wǎng)絡(luò)融合學(xué)習(xí)方法的研究[D];吉林大學(xué);2010年

5 劉積芬;網(wǎng)絡(luò)入侵檢測關(guān)鍵技術(shù)研究[D];東華大學(xué);2013年

6 林果園;基于主機行為的異常檢測技術(shù)研究[D];南京大學(xué);2011年

7 袁嵩;樹突狀細胞算法研究及在監(jiān)控系統(tǒng)入侵檢測中的應(yīng)用[D];武漢大學(xué);2013年

8 趙月愛;基于非均衡數(shù)據(jù)分類的高速網(wǎng)絡(luò)入侵檢測研究[D];太原理工大學(xué);2010年

9 王飛;入侵檢測分類器設(shè)計及其融合技術(shù)研究[D];南京理工大學(xué);2011年

10 郭陟;可視化入侵檢測研究[D];清華大學(xué);2004年

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

1 王瑛;基于模糊聚類的入侵檢測算法研究[D];江西理工大學(xué);2010年

2 林樂平;基于無監(jiān)督的入侵檢測[D];西安電子科技大學(xué);2005年

3 王建;基于模式匹配的網(wǎng)絡(luò)入侵檢測系統(tǒng)的研究與設(shè)計[D];武漢理工大學(xué);2010年

4 肖海明;基于數(shù)據(jù)降維和支持向量機的入侵檢測方法研究[D];華北電力大學(xué)（河北）;2010年

5 李盼;基于LLE特征提取的BVM網(wǎng)絡(luò)入侵檢測方法[D];華北電力大學(xué)（北京）;2011年

6 張煒;高速WLAN入侵檢測關(guān)鍵技術(shù)的研究[D];河北工程大學(xué);2011年

7 顏輝;人工神經(jīng)網(wǎng)絡(luò)在入侵檢測中的應(yīng)用[D];長春理工大學(xué);2004年

8 張振興;入侵檢測及告警信息聚合技術(shù)研究[D];河北大學(xué);2011年

9 謝清森;改進的PrefixSpan算法在入侵檢測中的應(yīng)用[D];暨南大學(xué);2010年

10 劉曉;基于BP神經(jīng)網(wǎng)絡(luò)的智能入侵檢測研究[D];重慶大學(xué);2010年

，

本文編號：808080