版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領
文檔簡介
1、在安全領域,軟件完整性提供了一個不同于以往的角度對軟件當前的運行狀態(tài)進行評估。軟件完整性代表著軟件的可信賴程度(trustworthiness)。而軟件從文件系統上載入到內存時,軟件程序文件的完整代表軟件的初始運行狀態(tài)是可信賴的,而在軟件的運行中,如何將這種信賴傳遞下去,是目前研究的一大挑戰(zhàn)。一般的認為,在運行狀態(tài)下的軟件完整性包含兩部分:(1)軟件的運行狀態(tài)的完整;(2)軟件的控制流的完整。前者表示:軟件在運行的狀態(tài)下,代碼、靜態(tài)數據
2、、動態(tài)數據和棧,必須保證不被未經授權的修改。后者表示:軟件運行時的執(zhí)行路徑要與軟件靜態(tài)代碼所反應的流程圖一致,即軟件的行為不能被非授權用戶通過任何方式改變和操控。
把軟件劃分為可信的和非可信的,有利于區(qū)別的對待不同可信度的軟件,這樣對構建軟件完整性保護機制才能更具針對性。
完整性保護包含保護策略與保護機制兩部分內容,前者明確規(guī)范系統怎樣才算是完整,而后者要明確系統完整性保護的具體實現方式。保護機制與保護策略的分離是一
3、種常見做法,即先根據具體系統構建出適合的保護機制,再在此基礎上實施具體的保護策略。保護機制決定了完整性保護粒度和性能代價,而保護策略則規(guī)定了保護的具體規(guī)則。說一個軟件是完整的,是指它滿足某一給定的完整性保護策略。
操作系統內核位于可信軟件體系的底層,是可信計算基的重要組成部分,而可信理論認為,信任是從可信計算基開始,建立一條信任鏈,一級認證一級,一級信任一級,把這種信任擴展到整個計算機系統,從而確保整個計算機系統的可信??梢姸?/p>
4、內核的完整性攸關整個系統的完整性。
本文主要針對可信軟件保護機制方面的研究,對可信軟件的完整性保護機制進行了深入的探討,并重點介紹了內核完整性保護機制的相關工作。根據對各種軟件完整性保護機制的分析研究,發(fā)現利用虛擬機監(jiān)控器實現引用驗證機制是一種實施完整性保護機制的趨勢。隨后對虛擬化技術和Xen虛擬機監(jiān)控器研究學習,找到并論證了Xen虛擬機監(jiān)控器適合用于構建內核的完整性保護的引用驗證機制。
隨后,本文設計了一種基于Xe
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內容的表現方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容,請與我們聯系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 可信計算平臺完整性度量機制的研究與應用.pdf
- 圖像完整性保護技術研究與應用.pdf
- 可信網絡客戶端完整性度量研究.pdf
- 面向云存儲的共享數據完整性審計和可信刪除機制研究.pdf
- 可信網絡客戶端完整性度量研究
- 信號完整性與電源完整性的研究與仿真.pdf
- 基于可信計算的Linux完整性度量系統的研究與實現.pdf
- 高速電路信號完整性與電源完整性研究.pdf
- 可信計算動態(tài)完整性度量模型設計與實現.pdf
- 電纜屏蔽完整性及仿真可信度研究.pdf
- 信號完整性仿真自動化技術基于Cadence軟件的應用與研究.pdf
- 異構海量文件集完整性保護的研究與實現.pdf
- 云環(huán)境下多租戶數據完整性保護機制研究.pdf
- 云存儲中數據完整性保護的研究.pdf
- 磁盤數據完整性保護技術研究.pdf
- 基于可信第三方的Android應用完整性驗證模型.pdf
- 管道完整性管理系統研究與應用.pdf
- 可信應用軟件管理機制研究.pdf
- 基于可信計算的虛擬機遷移完整性度.pdf
- 高速高密度PCB信號完整性與電源完整性研究.pdf
評論
0/150
提交評論