[發明專利]一種面向隱蔽通道分析的系統分析和劃分方法無效
| 申請號: | 200810156069.8 | 申請日: | 2008-09-19 |
| 公開(公告)號: | CN101364203A | 公開(公告)日: | 2009-02-11 |
| 發明(設計)人: | 曾慶凱;支雷磊 | 申請(專利權)人: | 南京大學 |
| 主分類號: | G06F11/36 | 分類號: | G06F11/36 |
| 代理公司: | 南京天翼專利代理有限責任公司 | 代理人: | 湯志武;王鵬翔 |
| 地址: | 210093*** | 國省代碼: | 江蘇;32 |
| 權利要求書: | 查看更多 | 說明書: | 查看更多 |
| 摘要: | |||
| 搜索關鍵詞: | 一種 面向 隱蔽 通道 分析 系統分析 劃分 方法 | ||
1、面向隱蔽通道分析的系統分析和劃分方法,其特征是工作流程如下,步驟10:初始化動作;步驟11:判斷函數調用圖是否為空,如果為空轉步驟12,表示分析劃分算法結束,否則轉步驟13;步驟12:輸出分析的結果;步驟13:判斷函數調用圖是否連通,如果連通轉步驟16,否則轉步驟14;步驟14:找出函數調用圖所有不連通的分支;步驟15:循環分析函數調用圖的每個連通分支;步驟16:判斷函數調用圖中是否存在不依賴其他節點的節點,即出度為0的節點;如果存在節點轉步驟17,否則轉步驟19;步驟17:找到出度為0的節點;步驟18:把出度為0的節點從函數調用圖中刪除,并且把該節點加入結果鏈表的末尾;結果鏈表指存儲分析結果的鏈表,其中的元素可能為連通分支、單個節點或極大強連通子圖;序列中的先后關系表明了元素之間的依賴關系,后面元素只依賴前面的元素;步驟19:判斷函數調用圖中是否存在極大強連通子圖,并且這個子圖沒有指向子圖外節點的邊;如果存在轉步驟1a,否則轉步驟11;步驟1a:找到函數調用圖中的極大強連通子圖,并且該子圖沒有指向子圖外節點的邊;步驟1b:刪除此極大強連通子圖,并且把該子圖加入結果鏈表末尾;步驟1c:結束。
2、根據權利要求1所述的面向隱蔽通道分析的系統分析和劃分方法,其特征是分析函數調用圖連通性的流程如下,分析調用圖的連通性,并且記錄所有的連通分支;步驟20:初始動作;步驟21:去除邊的方向變為無向圖;步驟22:判斷這個無向圖是否有節點,如果有轉步驟23,否則轉步驟27;步驟23:從無向圖中任選一個節點,作為深度優先遍歷的起始節點;步驟24:以步驟23選擇的節點為起始節點,對無向圖進行深度優先遍歷,并且在遍歷過程中標記已訪問的節點;步驟25:選擇所有被標記的節點,這些節點在有向的函數調用圖中組成的子圖為它的一個連通分支,找到這個連通分支;步驟26:記錄這個連通分支,即把這個連通分支放入結果集合,且從無向圖中刪除所有被標記的節點,轉步驟22;步驟27結束狀態,找到函數調用圖中的所有連通分支,并且記錄在結果集合中。
3、根據權利要求1所述的面向隱蔽通道分析的系統分析和劃分方法,其特征是判斷函數調用圖中是否存在不依賴其他節點函數的流程是;步驟30:初始動作;步驟31:取鏈表的第一個節點;步驟32:判斷這個節點的出度是否為0,如果是轉步驟33,否則轉步驟34;步驟33:設置返回值為真,并且記錄該出度為0的節點;步驟34:判斷是否到鏈表的末尾,如果是轉步驟35,否則轉步驟36;步驟35:設置返回值為假;步驟36:取鏈表中下一個節點,繼續分析;步驟37:結束狀態。
4、根據權利要求1所述的面向隱蔽通道分析的系統分析和劃分方法,其特征是判斷尋找函數調用圖中極大強連通子圖的流程是,步驟40:初始動作;步驟41:判斷函數調用圖中所有的節點是否都被遍歷過,如果是轉步驟44,否轉步驟42;步驟42:從函數調用圖中選一個沒有被遍歷過的節點,作為步驟43的起始節點;步驟43:以步驟42選擇的節點開始,深度優先遍歷函數調用圖;并且在遍歷過程中,給每個節點標記完成訪問的時間;步驟44:轉置所分析的函數調用圖;步驟45:選擇函數調用圖中完成時間最大的節點;步驟46:以步驟45選擇的節點為起始節點,深度優先遍歷函數調用圖;步驟47:選擇深度優先遍歷過的所有節點,組成一個子圖,此子圖即為一個極大強連通子圖;步驟48:判斷這個子圖中的節點是否有指向子圖外節點的邊,如果有轉步驟4a,沒有轉步驟49;步驟49:把這個強連通子圖放入結果集合;步驟4a:標記子圖中的所有節點。在下次深度優先遍歷中,不能訪問這些被標記的節點;步驟4b:判斷函數調用圖是否全部被標記,如果是轉步驟4c,否則轉步驟45;步驟4c:結束。
5、根據權利要求2、3或4所述的面向隱蔽通道分析的系統分析和劃分方法,其特征是深度優先遍歷圖的流程是,從指定節點開始,遞歸對它的后繼節點進行遍歷;步驟50:初始動作;步驟51:選取指定的開始節點;步驟52:標記這個節點被訪問;步驟53:選取開始節點的第一個后繼節點;步驟54:判斷這個后繼節點是否被訪問,即它是否被標記,如果被訪問,轉步驟56,否則,轉步驟55;步驟55:遞歸訪問這個后繼節點;步驟56:判斷是否取完了開始節點的所有后繼節點,如果取完,轉步驟58,否則轉步驟57;步驟57:選取下一個后繼節點,轉步驟54對它進行分析;步驟58:結束。
該專利技術資料僅供研究查看技術是否侵權等信息,商用須獲得專利權人授權。該專利全部權利屬于南京大學,未經南京大學許可,擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作,請聯系【客服】
本文鏈接:http://www.szxzyx.cn/pat/books/200810156069.8/1.html,轉載請聲明來源鉆瓜專利網。





