基於可信計算程序的動態完整性度量模型

2022-12-29 00:39:02 字數 753 閱讀 6406

作者:胡家發張維琪

**:《中國科技博覽》2023年第18期

[摘要]本文對現有動態完整性度量模型進行了分析與研究,針對現有模型不能對程序堆疊的返回位址進行度量,利用影子棧技術的思想,提出了基於可信計算程序的完整性度量模型,該模型是對程序更細粒度的度量,能夠有效防止緩衝區溢位的攻擊,從而能夠保護程序的安全。

[關鍵詞]動態完整性度量;影子棧技術;可信計算;緩衝區溢位

程序是保證計算機系統安全關鍵因素,而現在很多的木馬或者病毒通過破壞程序的完整性使計算機系統的安全遭到嚴重的威脅,如何保護程序的完整性及完全性是目前需要解決的重要問題。文獻[1]提出了一種基於可信計算的動態完整性度量模型,該度量模型將程序分為可信、可疑、惡意3類,在其度量架構中,引用虛擬化技術,來對執行中的程序行為進行監控,但並沒有說清楚什麼樣的程序是可信、可疑、惡意的。文都對程序進行更細粒度的動態完整性度量,通過度量程序位址空間得資訊,使程序在執行的過程中,不會遭到惡意程序的攻擊,確保程序的可信性。

而文獻[2][3][5]在載入之前不能確保程序在啟動時是可信的,從而就不能確保整個程序在執行中是可信的。

以上這些現有的各種動態完整性度量模型或者架構對堆疊裡程序函式的返回位址進行度量並沒有提出很好的方法,如果沒有對返回位址進行很好的度量,很可能會被攻擊者抓住漏洞,進行rop緩衝區溢位攻擊。針對現有動態度量系統不能對堆疊函式的返回位址進行很好的度量的問題,並且綜合現有動態度量模型的優點,在現有動態度量模型的基礎之上,並且利用了影子棧技術的思想,對堆疊函式的返回位址進行完整性度量,本文設計了基於可信計算程序的動態完整性度量模型。

豎曲線標高計算程序

豎曲線標高計算程式 fx 4800 程式說明 此程式為豎曲線標高計算程式,程式用變坡點高程和樁號來計算坡度,使高程計算比較精確,程式執行時,先按順序輸入三點的樁號 高程和中間曲線的半徑,然後可輸入樁號求相應點的高程,當樁號到達曲線尾和下一曲線間的直線段時,會出現 after qx 的提示,這時可繼續...

C 銀行貸款計算程序

高職學院 c 程式語言上學期 課程設計報告 2011 2012第1學期 課程設計型別 c語言程式設計 題目 銀行利息計算器 學號 28 姓名 張愛紋 專業 計算機應用基礎 指導教師 章銳 課程設計日期 2012.6.7 2012.6.11 目錄1.問題分析 1 2.總體設計 1 3.詳細設計 3 4...

ADC靜態效能指標計算程序

adc static produced by jerome cool,12.27.2009 adc靜態特性測試,包含dnl,inl,offset,missing code 進行測量時施加訊號為單音正弦訊號,幅度應略微超過滿幅,保證所有碼均能出現 注意!目前版本僅能處理普通二進位制編碼結果。clear...