本文關(guān)鍵詞：基于協(xié)議驗證的時間自動機取證模型，由筆耕文化傳播整理發(fā)布。

【摘要】：如何確保計算機獲取的證據(jù)真實可靠,成為法院上可供參考的法律依據(jù),這是一個迫切需要解決的問題。因此,需要一種形式化描述方法使得數(shù)字取證調(diào)查具有可靠性和可信性。文中提出一種基于協(xié)議驗證的TA(時間自動機)形式化描述方法,利用取證工具獲得具有時間屬性的行為數(shù)據(jù),并用TA描述計算機取證的動態(tài)事件重構(gòu)行為,通過UPPAAL工具進行需求分析和驗證來達到取證的目的。
【作者單位】： 南京理工大學(xué)計算機科學(xué)與技術(shù)學(xué)院;
【關(guān)鍵詞】： 時間自動機 取證模型 動態(tài)行為 形式化方法
【基金】：國家自然科學(xué)基金(61572255)資助項目
【分類號】：TP301.1;D918.2
【正文快照】： 當(dāng)前社會,在信息技術(shù)跨越式進步的驅(qū)使下,計算機及互聯(lián)網(wǎng)的重要性日益凸顯。與此同時,網(wǎng)絡(luò)犯罪也以迅猛的姿態(tài)蔓延開來,入侵手段層出不窮,呈現(xiàn)動態(tài)、多樣和復(fù)雜的特點。為有效打擊網(wǎng)絡(luò)犯罪,計算機取證技術(shù)[1]隨之不斷發(fā)展,目前主要分為兩種:靜態(tài)取證和動態(tài)取證。前者主要是在

【相似文獻】

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

1 ;基于時間自動機的實時系統(tǒng)建模及驗證[A];第六屆和諧人機環(huán)境聯(lián)合學(xué)術(shù)會議（HHME2010)、第19屆全國多媒體學(xué)術(shù)會議（NCMT2010）、第6屆全國人機交互學(xué)術(shù)會議（CHCI2010）、第5屆全國普適計算學(xué)術(shù)會議（PCC2010）論文集[C];2010年

2 高新;臧洌;黃越;;基于分簇和時間自動機的Ad hoc入侵檢測方法研究[A];2010通信理論與技術(shù)新發(fā)展——第十五屆全國青年通信學(xué)術(shù)會議論文集（下冊）[C];2010年

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

1 李建龍;PLC系統(tǒng)及其FBD編程語言的形式化建模與實時性驗證[D];華僑大學(xué);2015年

2 常軍旺;基于擴展時間Petri網(wǎng)的嵌入式中斷建模與驗證[D];大連理工大學(xué);2015年

3 石少玲;基于時間自動機的嵌入式工業(yè)控制系統(tǒng)建模與分析[D];昆明理工大學(xué);2016年

4 周顏;時間自動機可達性檢測方法研究[D];鄭州大學(xué);2007年

5 李巖;可調(diào)整時間自動機可達性算法的研究與實現(xiàn)[D];上海交通大學(xué);2014年

6 王靜;基于時間自動機的模型驗證理論及應(yīng)用研究[D];鄭州大學(xué);2005年

7 朱維軍;基于時間自動機若干新模型的研究[D];鄭州大學(xué);2005年

8 孫全勇;時間自動機及其應(yīng)用研究[D];哈爾濱工程大學(xué);2007年

9 程永江;基于時間自動機的模型驗證技術(shù)[D];鄭州大學(xué);2009年

10 許丹;基于時間自動機的實時系統(tǒng)形式化建模與驗證[D];蘇州大學(xué);2007年

  本文關(guān)鍵詞：基于協(xié)議驗證的時間自動機取證模型，，由筆耕文化傳播整理發(fā)布。

本文編號：499088