基于AOP和復(fù)雜網(wǎng)絡(luò)理論的軟件行為分析.pdf

1、可信計(jì)算是一種信息安全新技術(shù)，它已經(jīng)成為國際信息安全領(lǐng)域的新熱潮，對(duì)軟件行業(yè)產(chǎn)生著深刻的影響，構(gòu)造可信軟件已成為現(xiàn)代軟件技術(shù)發(fā)展和應(yīng)用的重要趨勢(shì)和必然選擇?！翱尚跑浖边@個(gè)概念的提出實(shí)質(zhì)上反映了傳統(tǒng)的“面向正確性的軟件理論+工程化”模式已經(jīng)難以適應(yīng)現(xiàn)代軟件系統(tǒng)尤其是開放環(huán)境下軟件系統(tǒng)的特點(diǎn)。因此需要在軟件需求工程、軟件可信性度量、建模與預(yù)測(cè)、軟件的演化和控制、可信環(huán)境的評(píng)估和構(gòu)造等方面深入對(duì)軟件開發(fā)、運(yùn)行、運(yùn)維、升級(jí)、系統(tǒng)間交互等方面進(jìn)

2、行分析。
　　 本論文主要基于國家自然科學(xué)基金委2007年“可信軟件基礎(chǔ)研究”中關(guān)于對(duì)軟件可信性度量、建模與預(yù)測(cè)的分析和研究基礎(chǔ)上，所實(shí)現(xiàn)的一個(gè)軟件行為監(jiān)控、分析、建模的工作。在軟件系統(tǒng)監(jiān)控方面主要是采用AOP技術(shù)采集軟件運(yùn)行數(shù)據(jù)，在分析建模上采用UML和復(fù)雜網(wǎng)絡(luò)理論完成對(duì)軟件運(yùn)行時(shí)刻的行為建模和分析，并為進(jìn)一步進(jìn)行用戶行為預(yù)測(cè)打下基礎(chǔ)。主要的工作體現(xiàn)在下面幾點(diǎn):
　　 1、對(duì)可信計(jì)算和可信軟件的基本概念、主要的研究?jī)?nèi)容