基于機器語言的移動代碼安全研究.pdf

1、認證編譯器是實現(xiàn)三層體系結構中基于邏輯證明的低級代碼安全策略的基石.該文設計和實現(xiàn)的認證編譯器是安全策略體系中代碼發(fā)送方的核心組件,它完成了編程語言 C—種子集(Mini—C)到匯編語言(Intel x86/Linux)轉(zhuǎn)換的編譯過程,同時還生成了低級代碼安全策略證明系統(tǒng)中所需的注解信息.三層體系結構中的高級代碼安全策略是用于保護主機系統(tǒng)資源的.我們描述了一種通過限制程序行為的方案來保護主機系統(tǒng)資源,該方案是由平臺無關的策略描述語言和執(zhí)

2、行這些策略的組件構成.策略描述語言定義的安全策略經(jīng)策略編譯器編譯生成策略支持庫,采用庫插入技術生成了原系統(tǒng)共享庫的包裝(即策略執(zhí)行庫).在策略支持庫和策略執(zhí)行庫的支撐下,通過對動態(tài)連接器進行重新定向,使應用程序中的所有對共享庫的函數(shù)調(diào)用被截獲,并對其進行給定的安全策略驗證.通過對文件系統(tǒng)和存儲訪問函數(shù)調(diào)用的截獲測試表明,系統(tǒng)設計變得相當簡單,而且還可以獲得較高的性能.基于邏輯證明的低級安全策略對源語言具有很強的依賴性,并且對編譯器的正確