基于擴(kuò)展下推自動(dòng)機(jī)的Java程序安全相關(guān)行為模型自動(dòng)生成.pdf

1、學(xué)校代碼：幽分類號(hào)：!盟研究生學(xué)號(hào)：!Q呈Q鯉QQ8221塑密級(jí)：五⑧東北知予冠大莩碩士學(xué)位論文基于擴(kuò)展下推自動(dòng)機(jī)的Java程序安全相關(guān)行為模型自動(dòng)生成GenemteSecurityreleVantBehaViorModelofJaVaSourceCodeBasedonExtendedPushDownAutomaton作者：李超指導(dǎo)教師學(xué)科專業(yè)研究方向?qū)W位類型鄭曉娟教授計(jì)算機(jī)軟件與理論移動(dòng)代碼安全學(xué)歷碩士東北師范大學(xué)學(xué)位評(píng)定委員會(huì)201

2、1年5月摘要隨著Java應(yīng)用程序的廣泛應(yīng)用，移動(dòng)代碼安全問題越來越引起人們的關(guān)注，關(guān)于移動(dòng)代碼安全問題的研究也成為當(dāng)前計(jì)算機(jī)科學(xué)中的熱點(diǎn)之一。目前研究人員已經(jīng)提出了很多方法來解決這一問題，尤其是在入侵檢測(cè)領(lǐng)域，研究人員提出的一些方法都能從某些角度解決移動(dòng)代碼的安全問題，但都存在著各自的問題。在這些解決方法中，RSek缸提出的攜帶模型代碼(Modelc抓yingcode)方法對(duì)于非確信的移動(dòng)代碼的安全執(zhí)行提供了系統(tǒng)、全面的解決該問題的框架

3、，但仍存在需要完善的方面。本文采用擴(kuò)展后的下推自動(dòng)機(jī)(EPDA)作為核心模型，以MCC方法為研究背景，在此方法基礎(chǔ)上，對(duì)MCC方法做了進(jìn)一步的改進(jìn)，給出了基于擴(kuò)展后的下推自動(dòng)機(jī)(EPDA)的Java源代碼的安全相關(guān)行為模型的形式化定義和抽象表示，并且介紹了對(duì)于方法間控制流和數(shù)據(jù)流的分析方法。這些改進(jìn)都大大的提升了靜態(tài)分析的能力使之更適用于面向?qū)ο蟮恼Z(yǔ)言。除此之外，我們還一并對(duì)面向?qū)ο笳Z(yǔ)言的其他一些特性，如異常、多態(tài)性、類、對(duì)象等做了處理