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

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

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