驗證式編譯系統(tǒng)的研究.pdf

1、計算機軟硬件技術(shù)的快速發(fā)展，使得軟件的應(yīng)用滲透到了社會的各個領(lǐng)域，從手機到internet，軟件在人們的生活中扮演著重要的角色。然而，隨著軟件復(fù)雜性的提高，軟件開發(fā)的質(zhì)量和效率卻不能令人滿意。軟件常常發(fā)生故障，對人們的工作生活帶來不利影響，甚至造成巨大損失，特別是對軟件可靠性和安全性要求很高的航空航天技術(shù)。因此，如何在軟件的開發(fā)和運行中保證軟件的正確性、可靠性和安全性等高可信性質(zhì)成為了軟件理論和技術(shù)的重要研究內(nèi)容。于是，出現(xiàn)了程序驗證技

2、術(shù)的研究方向。本文從程序驗證的一個側(cè)面提出了驗證軟件正確性的一個技術(shù)軟件水印驗證編譯器技術(shù)，該技術(shù)從軟件來源的源頭開始，保障了軟件的正確性、可靠性和安全性，使得軟件開始使用時就能保證它是正確的，減少了軟件出錯的概率。從而防止了合法軟件數(shù)據(jù)被非法篡改導(dǎo)致的軟件失效，帶來嚴重后果。同時揭示出軟件的侵權(quán)行為，保護了版權(quán)所有者的合法利益，保障了軟件的安全性。
　　現(xiàn)今，互聯(lián)網(wǎng)技術(shù)的普及提高使軟件侵權(quán)者能夠容易的獲取所需軟件，并使用逆向工程

3、（Reverse-Engineering）和再工程（Re-Engineering）技術(shù)對軟件進行非法分析和改造，從中竊取對侵權(quán)者有用的代碼或數(shù)據(jù)，使得軟件的正確性和安全性失去保障。所以，互聯(lián)網(wǎng)在給軟件產(chǎn)業(yè)帶來高效率的同時，也同時帶來了不同程度的危害。因此，人們?nèi)绾螐能浖碓吹脑搭^上，即當軟件開始使用時，就能確保它具有正確、可靠和安全的可信性質(zhì)，保證軟件不被非法利用和侵犯，從而筑起軟件保護的第一道屏障，是軟件開發(fā)者廣泛關(guān)注的問題。

4、　　對軟件的保護可在侵權(quán)行為發(fā)生之前或之后進行。在侵權(quán)行為發(fā)生之前，開發(fā)者可以利用軟件加密、防篡改、代碼混淆或程序驗證等技術(shù)對軟件進行處理，增加侵權(quán)者分析和改造軟件的難度，提高盜用軟件的成本。但是，這種技術(shù)大多需要對軟件進行較大幅度的修改，并依賴于特定的軟硬件環(huán)境，從一定程度上影響了軟件的擴展性、移植性和執(zhí)行效率。而隨著軟件復(fù)雜度的提高，這種技術(shù)給軟件性能帶來的影響變得更加明顯。為彌補現(xiàn)有技術(shù)的不足，一種新的軟件保護技術(shù)——軟件水印驗證

5、編譯器技術(shù)——被提出并逐步受到人們的關(guān)注。軟件水印驗證編譯器技術(shù)的基本思想是：將一個包含版權(quán)信息（如軟件版權(quán)所有者、開發(fā)者或合法使用者）的水印嵌入到軟件中，在軟件被盜用后，通過特殊的驗證過程將水印從侵權(quán)軟件中驗證出來，然后利用編譯器技術(shù)實現(xiàn)該驗證過程。
　　本文首先介紹實現(xiàn)軟件水印驗證編譯器技術(shù)的程序驗證和編譯系統(tǒng)相關(guān)知識，然后再介紹軟件水印的基本概念和一種典型的軟件水印技術(shù)——動態(tài)圖軟件水印技術(shù)，以及一個基于該技術(shù)的驗證編譯器原