可信平臺模塊安全性分析與應(yīng)用.pdf

1、在可信計算技術(shù)中，可信平臺模塊是可信計算技術(shù)的核心。可信平臺需要可信平臺模塊的可信測量能力，可信存儲能力和可信的報告能力，向用戶證實平臺是可信的。然而當(dāng)前人們主要關(guān)心可信平臺模塊的實現(xiàn)以及其上的應(yīng)用開發(fā)，卻很少討論可信平臺模塊本身的安全性。這樣一方面很難使人們相信可信平臺模塊本身是安全的，另一方面也不能很好的將可信平臺模塊應(yīng)用到安全領(lǐng)域中。 在這種情況下，本論文對可信平臺模塊的安全性進(jìn)行分析，以得出可信平臺模塊是否安全，能否改進(jìn)

2、可信平臺模塊的安全性，和怎樣更好的使用可信平臺模塊。在分析完可信平臺模塊的安全性后，具體實現(xiàn)了可信平臺模塊，并用實現(xiàn)的可信平臺模塊驗證了對可信平臺模塊的安全性分析。最后基于可信平臺模塊，開發(fā)了兩個新的應(yīng)用模型，以驗證可信平臺模塊的能力。 可信平臺模塊的各種能力是以API(Application Programming Interface)方式提供的，但這些可信平臺模塊API是否安全，在可信平臺模塊規(guī)范中沒有涉及，也沒有保證。因此

3、，對可信平臺模塊API的安全性進(jìn)行分析是十分必要的。首先，在論文中用一階邏輯語言建立可信平臺模塊API的形式化模型，然后對建立的形式化模型進(jìn)行邏輯推理分析。為幫助對模型進(jìn)行推理分析，還采用了人工智能中的自動推理技術(shù)，編寫了自動推理程序。通過推理分析，發(fā)現(xiàn)了可信平臺模塊API的一些安全漏洞?；诜治鼋Y(jié)果，提出對可信平臺模塊規(guī)范的改進(jìn)措施。 可信平臺模塊的密碼學(xué)協(xié)議亦是可信平臺模塊安全的基礎(chǔ)。因此，也對可信平臺模塊密碼學(xué)協(xié)議的安全性

4、進(jìn)行了分析。首先，使用的SVO邏輯建立可信平臺模塊密碼學(xué)協(xié)議的形式化描述，然后進(jìn)行推理分析。在推理分析中，也發(fā)現(xiàn)了可信平臺模塊密碼學(xué)協(xié)議的一些安全漏洞，并在分析的基礎(chǔ)上修復(fù)了這些安全漏洞。 在分析完可信平臺模塊的安全性之后，實現(xiàn)了可信平臺模塊。其中，重點(diǎn)改進(jìn)了可信平臺模塊所用的兩個算法：密鑰生成算法和求模擬元算法。對于密鑰生成算法，通過理論分析和大量的試驗，找到了最適合可信平臺模塊環(huán)境下的密鑰生成方法。對于求模逆元算法，在擴(kuò)展歐

5、拉算法的基礎(chǔ)上，提出了一種新的求模逆元算法，該算法比擴(kuò)展歐拉算法不僅內(nèi)存所需更少，而且運(yùn)行速度更快。這些算法有效地解決了在實現(xiàn)可信平臺模塊中的技術(shù)難題，提高了可信平臺模塊的運(yùn)行效率。 最后基于可信平臺模塊，開發(fā)了兩個新的應(yīng)用模型。一個是一種新的監(jiān)控方法，該監(jiān)控方法能使管理中心獲知被管理設(shè)備當(dāng)前是否處于可信狀態(tài)，從而使管理中心能夠確定被管理設(shè)備當(dāng)前是否存在未知的攻擊。另一個是一種新的CA(Certificate Authority