基于BLP模型的安全代碼檢測(cè)系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、程序設(shè)計(jì)類科目一直以來是作為計(jì)算機(jī)類學(xué)科的一個(gè)重要科目。但是目前傳統(tǒng)的代碼檢測(cè)系統(tǒng)都是對(duì)于提交的未知代碼不加處理就進(jìn)入系統(tǒng)編譯，運(yùn)行。對(duì)于提交代碼的安全性并沒有進(jìn)行驗(yàn)證。一旦提交的未知代碼有安全漏洞或者是代碼本身就是惡意代碼，那么系統(tǒng)的安全性就難以保障，甚至?xí)?dǎo)致系統(tǒng)崩潰。在21世紀(jì)，由于信息技術(shù)的飛速發(fā)展，Web系統(tǒng)的應(yīng)用變得日益廣泛，系統(tǒng)安全也隨之被人們所關(guān)注和重視。因此，針對(duì)檢測(cè)系統(tǒng)的安全性需求。將BLP安全模型同惡意代碼檢測(cè)技術(shù)

2、相結(jié)合，設(shè)計(jì)并實(shí)現(xiàn)了安全代碼檢測(cè)系統(tǒng)。
　　安全性是系統(tǒng)的核心內(nèi)容，為了確保系統(tǒng)的安全性設(shè)計(jì)了檢測(cè)安全機(jī)制。在安全機(jī)制中有對(duì)于提交未知代碼的代碼預(yù)處理，惡意代碼相似度檢測(cè)，根據(jù)相似度賦予安全級(jí)，基于改進(jìn)后的BLP模型的安全控制。其中未知代碼預(yù)處理是刪除源代碼字符串中不必要的部分以提高檢測(cè)效率；惡意代碼相似度檢測(cè)運(yùn)用了RKR-GST算法并對(duì)該算法進(jìn)行了部分修改以適應(yīng)于惡意代碼相似度檢測(cè)中；基于改進(jìn)后的BLP模型的安全控制則是在 BL