VoIP數(shù)據(jù)流的可信傳輸及其安全屬性的形式化驗(yàn)證.pdf

1、VoIP的日益普及使得其安全問題變得重要起來，對此國內(nèi)外學(xué)者提出若干安全機(jī)制，例如S/MIME、SRTP、MIKEY、ZRTP等。這些安全機(jī)制為VoIP數(shù)據(jù)流的傳輸提供了一個(gè)安全通道，實(shí)現(xiàn)了數(shù)據(jù)保密性，提供了消息認(rèn)證和完整性保護(hù)。但是這些安全通道技術(shù)沒有考慮通信端點(diǎn)的安全性，計(jì)算機(jī)網(wǎng)絡(luò)中的惡意用戶、攻擊者可以通過攻擊通信端點(diǎn)來破壞安全通道。
　　可信計(jì)算技術(shù)可以提高平臺(tái)安全性，從而增強(qiáng)安全通道的安全強(qiáng)度。本論文針對基于ZRTP密鑰

2、交換協(xié)議的VoIP數(shù)據(jù)流安全傳輸，提出了一種VoIP媒體流可信傳輸?shù)膶?shí)現(xiàn)方法，旨在利用可信計(jì)算的遠(yuǎn)程證明機(jī)制技術(shù)，增強(qiáng)通信終端的安全性，在兩個(gè)VoIP用戶終端之間建立起一條可信的數(shù)據(jù)傳輸通道。
　　本論文首先研究了ZRTP協(xié)議的會(huì)話密鑰協(xié)商過程、可信度量機(jī)制以及遠(yuǎn)程證明技術(shù)。然后分析了ZRTP協(xié)議與遠(yuǎn)程證明技術(shù)直接整合的可行性，并據(jù)此提出了可信ZRTP協(xié)議的設(shè)計(jì)方案。最后，為了確保所設(shè)計(jì)的協(xié)議滿足既定的安全目標(biāo)，我們還從理論上對所