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

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

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