保證嵌入式系統(tǒng)程序完整性的技術(shù)設(shè)計(jì)方案

1 項(xiàng)目背景

信息產(chǎn)業(yè)的高速發(fā)展,帶來了信息技術(shù)的空前繁榮;但危害信息安全的事件也不斷發(fā)生,信息安全的形勢(shì)是嚴(yán)峻的. 信息安全事關(guān)國(guó)家安全,事關(guān)社會(huì)穩(wěn)定,必須采取措施確保信息安全. 硬件結(jié)構(gòu)的安全和操作系統(tǒng)的安全是信息系統(tǒng)安全的基礎(chǔ),密碼、網(wǎng)絡(luò)安全等技術(shù)是關(guān)鍵技術(shù). 只有從信息系統(tǒng)的硬件和軟件的底層開始做起,從整體上采取措施,才能比較有效地確保信息系統(tǒng)的安全.

隨著計(jì)算機(jī)技術(shù)、通信技術(shù)的飛速發(fā)展，特別是互聯(lián)網(wǎng)的迅速普及和3C(計(jì)算機(jī)、通信和消費(fèi)電子)融合的加速，嵌入式系統(tǒng)逐漸成為信息產(chǎn)業(yè)的一個(gè)支柱，其市場(chǎng)的深度和廣度不斷擴(kuò)大。然而，嵌入式系統(tǒng)在快速發(fā)展的同時(shí)也面臨安全方面的巨大挑戰(zhàn)，特別是隨著嵌入式系統(tǒng)的不斷發(fā)展和推廣，它越來越多地被非法入侵和破壞，給各個(gè)國(guó)家和眾多企業(yè)造成巨大的損失，有時(shí)甚至危害到國(guó)家和地區(qū)的安全。例如嵌入式系統(tǒng)廣泛地被用于控制各種關(guān)鍵設(shè)備：通訊網(wǎng)絡(luò)、電力柵格、核電站、飛行控制系統(tǒng)等,一旦這樣的系統(tǒng)遭到惡意入侵者的破壞,其帶來的損失是可想而知。所以,安全將會(huì)是嵌入式系統(tǒng)設(shè)計(jì)的一種新的思維。嵌入式系統(tǒng)軟、硬件結(jié)構(gòu)簡(jiǎn)化，導(dǎo)致資源可任意使用，尤其是執(zhí)行代碼可修改，惡意程序可以被植入。病毒程序利用操作系統(tǒng)對(duì)執(zhí)行代碼不檢查一致性的弱點(diǎn)，將病毒代碼嵌入到執(zhí)行代碼程序，實(shí)現(xiàn)病毒傳播。黑客利用被攻擊系統(tǒng)的漏洞竊取超級(jí)用戶權(quán)限，植入攻擊程序，肆意進(jìn)行破壞。更為嚴(yán)重的是對(duì)合法的用戶沒有進(jìn)行嚴(yán)格的訪問控制，可以進(jìn)行越權(quán)訪問，造成不安全事故。由于在嵌入式系統(tǒng)的制造鏈、供給鏈和使用鏈都可能存在那些惡意的入侵者,就此安全需求會(huì)依不同的角度而有所變化。為了保證通信安全,這時(shí)就提出了安全功能的要求,諸如數(shù)據(jù)機(jī)密性、完整性和可用性。機(jī)密性防止未授權(quán)用戶獲得存儲(chǔ)在系統(tǒng)中的敏感信息;數(shù)據(jù)的完整性保證在未經(jīng)允許的情況下,系統(tǒng)中的數(shù)據(jù)不能被任意地刪除和修改;完整性保證病毒、惡意用戶等不能隨意地修改系統(tǒng)中的程序,可用性核實(shí)信息的發(fā)送或者接收只能是相應(yīng)的對(duì)方,而不能是不合法者。這些安全功能,在如今的嵌入式系統(tǒng)中也得到了廣泛的應(yīng)用。

基于軟件，操作系統(tǒng)，硬件三者協(xié)同保證計(jì)算機(jī)系統(tǒng)的安全，產(chǎn)生出可信計(jì)算的基本思想。目前可信計(jì)算規(guī)范主要面向個(gè)人PC領(lǐng)域，但是對(duì)這個(gè)概念的理解，對(duì)于嵌入式可信系統(tǒng)的構(gòu)造具有相當(dāng)意義?？尚庞?jì)算的目的是在計(jì)算和通信系統(tǒng)中廣泛使用基于硬件安全模塊支持下的可信計(jì)算平臺(tái)，以提高整體的安全性?？尚庞?jì)算的思想源于社會(huì). 其基本思想是在計(jì)算機(jī)系統(tǒng)中首先建立一個(gè)信任根,再建立一條信任鏈,一級(jí)測(cè)量認(rèn)證一級(jí),一級(jí)信任一級(jí),把信任關(guān)系擴(kuò)大到整個(gè)計(jì)算機(jī)系統(tǒng),從而確保計(jì)算機(jī)系統(tǒng)的可信.在技術(shù)領(lǐng)域,可信計(jì)算發(fā)展非常迅速. 1983 年,美國(guó)國(guó)防部就制定了《可信計(jì)算機(jī)系統(tǒng)評(píng)價(jià)準(zhǔn)則》. 1999 年, TCPA 組織成立,2003 年改組為可信計(jì)算組織TCG. TCPA 和TCG 制定了關(guān)于可信計(jì)算平臺(tái)、可信存儲(chǔ)和可信網(wǎng)絡(luò)連接等一系列技術(shù)規(guī)范. 目前已有200 多個(gè)企業(yè)加入了TCG,可信計(jì)算機(jī)已經(jīng)進(jìn)入實(shí)際應(yīng)用階段.在理論領(lǐng)域, IEEE 組織于2004 年開辦了IEEE Transactions on Dependable and Secure Computing 雜志,專門刊發(fā)可信計(jì)算研究論文.

在我國(guó)，與可信計(jì)算概念相對(duì)應(yīng)的是由我國(guó)相關(guān)部門自主制定的TCM標(biāo)準(zhǔn)。目前，中國(guó)的可信計(jì)算事業(yè)處于蓬勃發(fā)展的階段。

2000年6月武漢瑞達(dá)公司和武漢大學(xué)合作，開始研制安全計(jì)算機(jī)，研究成果于2004年10月通過國(guó)家密碼管理委員會(huì)主持的技術(shù)鑒定。它是國(guó)內(nèi)第一款自主研制的可信計(jì)算平臺(tái)，在系統(tǒng)結(jié)構(gòu)和主要技術(shù)路線方面與TCG的規(guī)范是類似的。這一產(chǎn)品被國(guó)家科技部等四部委聯(lián)合認(rèn)定為“國(guó)家級(jí)重點(diǎn)新產(chǎn)品”，并獲得2006年國(guó)家密碼科技進(jìn)步二等獎(jiǎng)，已在我國(guó)電子政務(wù)、公安、銀行、軍隊(duì)得到實(shí)際應(yīng)用。

2005年聯(lián)想集團(tuán)的“恒智”芯片和可信計(jì)算機(jī)相繼研制成功。同年，兆日公司的TPM芯片研制成功。這些產(chǎn)品都相繼通過國(guó)家密碼管理委員會(huì)的鑒定和認(rèn)可。

聯(lián)想推出了兩款基于自主知識(shí)產(chǎn)權(quán)的TCM芯片的筆記本電腦和臺(tái)式電腦，并獲得了公安部、國(guó)家安全部、國(guó)家保密局和國(guó)家密碼管理局的安全認(rèn)證。該可信PC具備文件夾解密、安全管理箱、安全文件共享等功能，并且在易用性方面做了特色設(shè)計(jì)。

同方公司于2007年6月26日發(fā)布了基于TCM標(biāo)準(zhǔn)的同方TST安全平臺(tái)，可預(yù)防企業(yè)的機(jī)密信息通過終端計(jì)算機(jī)泄密，可隱藏硬盤，通過指紋鎖進(jìn)行硬盤加密以及安全備份等。同時(shí)，同方還推出了授權(quán)密網(wǎng)產(chǎn)品——將工作組的幾臺(tái)計(jì)算機(jī)設(shè)置成一個(gè)域，非授權(quán)用戶無法傳遞文件。

專門提供調(diào)用可信計(jì)算機(jī)中TCM密鑰體系，讓TCM、可信計(jì)算機(jī)與人的身份結(jié)合，構(gòu)建完整可信計(jì)算信任鏈的吉大正元公司，則利用PKI/PMI技術(shù)，推出了可信接入安全支撐平臺(tái)，保證不同網(wǎng)絡(luò)可安全地接入整個(gè)體系。

雖然在PC領(lǐng)域，通過各機(jī)構(gòu)和企業(yè)的努力，可信計(jì)算技術(shù)已經(jīng)得到了一定程度的發(fā)展，但是在嵌入式系統(tǒng)領(lǐng)域，我國(guó)無論在規(guī)范還是在實(shí)際應(yīng)用上，還是處于發(fā)展不足的狀態(tài)。而基于嵌入式系統(tǒng)對(duì)于資源的敏感性，能源的緊缺性，功能的專業(yè)性等特點(diǎn)，生搬硬套過往的“大而全”的可信計(jì)算規(guī)范的服務(wù)顯然是不合適。同時(shí)，目前市場(chǎng)上通用的TPM芯片大部分是通過與CPU的LPC引腳連接提供相關(guān)的加密驗(yàn)證服務(wù)。個(gè)人PC市場(chǎng)的處理器少?gòu)S商的壟斷局面與嵌入式系統(tǒng)芯片市場(chǎng)百花齊放的情況不同，這也決定了現(xiàn)有的TPM芯片不能滿足各種各樣的傳輸接口需求。因此，一種基于嵌入式系統(tǒng)特性的安全保證技術(shù)實(shí)現(xiàn)方案的實(shí)現(xiàn)就顯得非常必要。

2 系統(tǒng)建設(shè)總體原則

2.1 建設(shè)目標(biāo)

本項(xiàng)目目的在于，基于目前現(xiàn)有的嵌入式部件的安全功能(Spartan-3A的Device DNA和中興TCM芯片)，提供一個(gè)保證嵌入式系統(tǒng)程序完整性的設(shè)計(jì)方案。于此同時(shí)，參照可信計(jì)算規(guī)范標(biāo)準(zhǔn)，為嵌入式系統(tǒng)打造一個(gè)可信根，為之后的可信鏈的建立及嵌入式可信平臺(tái)的構(gòu)造提供必要的條件。最終滿足國(guó)內(nèi)嵌入式系統(tǒng)安全需求，并為我國(guó)嵌入式系統(tǒng)可信技術(shù)獨(dú)立自主發(fā)展提供支持。

2.2 建設(shè)原則

1、可擴(kuò)展性原則：嵌入式系統(tǒng)本身就是一個(gè)被要求具備可擴(kuò)展性的系統(tǒng)。其任務(wù)多變性，外設(shè)可裁剪性等原則也決定了本次設(shè)計(jì)應(yīng)該具有與之匹配的特性。在保證核心，基本的完整性保證服務(wù)功能后，應(yīng)該支持用戶根據(jù)自身需要定制不同的，更復(fù)雜的安全性服務(wù)，即為今后系統(tǒng)應(yīng)用的擴(kuò)展和系統(tǒng)升級(jí)提供必要的接口。