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

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

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

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

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

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