Title: 硬件輔助的軟件可信性運行時檢測技術(Hardware-assisted Runtime Verification of Software Trustworthiness)

Speaker: 石文昌 (人民大學)

Time: 9th October 2014, 14:30

Venue: Seminar Room (334), Level 3, Building 5, Institute of Software, CAS

Abstract:

在計算技術的發展中，一方面，軟件常常滯后于硬件，未能使硬件充分發揮作用，另一方面，軟件在能力上存在固有的不足，比如，難以根本解決信息安全領域的機密性和完整性的基本問題，本報告討論借助普通硬件的特性對軟件可信性進行運行時檢測的若干關鍵技術，此處的普通硬件指大眾化的非專用硬件，包括TPM和CPU，我們從代碼完整性、數據完整性和控制流完整性等方面考察軟件的可信性，從主機系統、網絡系統和云計算環境等角度探討問題的解決途徑。