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

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

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