版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
1、因特網(wǎng)規(guī)模的不斷擴(kuò)大使得移動計算成為一個重要的研究領(lǐng)域.在該領(lǐng)域內(nèi),代碼安全性問題(code safety)受到學(xué)者的廣泛關(guān)注.移動代碼的特點(diǎn)是異地編寫,該地執(zhí)行.這種代碼的來源復(fù)雜,代碼的編寫質(zhì)量和執(zhí)行后對主機(jī)的影響都難以估計,因此如何防止來自網(wǎng)絡(luò)上的惡意代碼對主機(jī)的破壞成為成為代碼安全領(lǐng)域研究的熱點(diǎn)之一.該文的工作基于Intel的開放式運(yùn)行平臺(Open Runtime Platform,簡稱ORP).提出了一種類型化低級語言(ty
2、ped low-level language,簡稱TLL),將利用類型信息所帶來的類型安全性帶到接近于匯編語言的一層.應(yīng)用TLL作為ORP的即時編譯器新的中間語言,這個工作可以作為將來進(jìn)一步縮小ORP的可信任計算基的重要起點(diǎn).TLL比Java虛擬機(jī)語言更接近匯編語言層,用TLL編寫的代碼更容易進(jìn)行優(yōu)化,且它基于多態(tài)類型化λ算子,具有比Java虛擬機(jī)語言更嚴(yán)格和更具有表達(dá)力的類型系統(tǒng),可以表達(dá)出很多高層語言的語言特性.該文的主要內(nèi)容包括:
3、1.闡述類型化低級語言提出的背景,對已有的幾種有比較大的影響力的類型化中間語言進(jìn)行概括和抽象.提出TLL的理想特性.2.給出TLL的形式化描述,包括語法形式,操作語義規(guī)則和靜態(tài)語義規(guī)則.3.重點(diǎn)描述TLL對數(shù)組和對象這兩個高層數(shù)據(jù)類型的處理.為了給出更直觀些的感覺,文中還就這方面的具體的例子來詳細(xì)解釋TLL程序是如何通過類型檢查獲得類型安全性的.4.描述了從Java虛擬機(jī)語言到TLL的翻譯過程,給出翻譯算法.5.類型化中間語言是提高代碼
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 類型化低級語言的擴(kuò)展.pdf
- Python語言的可視化編程環(huán)境的設(shè)計與實現(xiàn).pdf
- 自然語言處理平臺化軟件的設(shè)計與實現(xiàn).pdf
- 數(shù)字化語言學(xué)習(xí)系統(tǒng)設(shè)計與實現(xiàn).pdf
- 安全C語言的設(shè)計與實現(xiàn).pdf
- c語言課程設(shè)計-處理機(jī)低級調(diào)度模擬系統(tǒng)
- c語言課程設(shè)計--處理機(jī)低級調(diào)度模擬系統(tǒng)
- 基于SOFL形式化語言的軟件組件的設(shè)計與實現(xiàn).pdf
- 基于TENA接口定義語言的可視化建模的設(shè)計與實現(xiàn).pdf
- 數(shù)字類型的硬件木馬設(shè)計實現(xiàn)與分析.pdf
- 匯編語言到C語言翻譯軟件的設(shè)計與實現(xiàn).pdf
- 結(jié)構(gòu)化數(shù)據(jù)挖掘與分析語言SMALL的設(shè)計和實現(xiàn).pdf
- 持續(xù)型查詢語言的設(shè)計與實現(xiàn).pdf
- 模塊化機(jī)械臂作業(yè)語言解析器設(shè)計與實現(xiàn).pdf
- 達(dá)夢數(shù)據(jù)庫過程化SQL語言調(diào)試系統(tǒng)的設(shè)計與實現(xiàn).pdf
- java語言考試系統(tǒng)的設(shè)計與實現(xiàn)
- CML指針類型編譯程序的設(shè)計與實現(xiàn).pdf
- C語言在線考試系統(tǒng)的設(shè)計與實現(xiàn).pdf
- 安全C語言形狀系統(tǒng)的設(shè)計與實現(xiàn).pdf
- DM3用戶定義類型的設(shè)計與實現(xiàn).pdf
評論
0/150
提交評論