基于信息流的污染狀態(tài)傳播分析.pdf

1、隨著信息技術(shù)的不斷發(fā)展，信息系統(tǒng)被廣泛應(yīng)用于各個行業(yè)的業(yè)務(wù)系統(tǒng)中，從而扮演著越來越重要的角色。由于系統(tǒng)設(shè)計、程序邏輯以及其它各種原因，這類系統(tǒng)往往存在著各種各樣的安全問題，系統(tǒng)對污染數(shù)據(jù)以及敏感數(shù)據(jù)的操作是否合理就是問題之一。因此，研究如何標(biāo)記以及追蹤程序中的污染數(shù)據(jù)以及敏感數(shù)據(jù)是當(dāng)前亟待解決的一個問題。
　　本文的工作內(nèi)容來源于實際企業(yè)項目。由于數(shù)據(jù)間狀態(tài)的傳播是基于信息流的，因此本文首先對信息流的定義、性質(zhì)做了一定分析，并在此

2、基礎(chǔ)上對程序中可能產(chǎn)生信息流的規(guī)則做了深入研究，并且在這些規(guī)則的基礎(chǔ)上，實現(xiàn)了對信息流的收集。
　　然后本文在信息流的基礎(chǔ)之上，對數(shù)據(jù)的污染狀態(tài)傳播過程進行了詳細(xì)分析、設(shè)計與實現(xiàn)。首先研究了狀態(tài)變化的性質(zhì)，然后依次分別從狀態(tài)的轉(zhuǎn)移、擴散和傳播三個方面設(shè)計了各個狀態(tài)改變的規(guī)則以及實現(xiàn)的算法。在分析狀態(tài)轉(zhuǎn)移時，以本文提出的狀態(tài)轉(zhuǎn)移模型為基礎(chǔ)設(shè)計了數(shù)據(jù)狀態(tài)的轉(zhuǎn)移過程；在分析狀態(tài)擴散時，主要針對指針和結(jié)構(gòu)體的狀態(tài)擴散進行了研究；在分析狀態(tài)