基于公鑰加密體制的SIP協(xié)議安全模型研究與實(shí)現(xiàn).pdf

1、會(huì)話初始化協(xié)議（SIP）是由IETF提出的信令協(xié)議，近年來(lái)發(fā)展成為下一代網(wǎng)絡(luò)（NGN）和3G中的核心協(xié)議之一。本文研究的內(nèi)容是SIP的安全性問(wèn)題。文中首先對(duì)SIP進(jìn)行了介紹，并詳細(xì)討論了SIP面臨的安全問(wèn)題及常見(jiàn)的攻擊場(chǎng)景，對(duì)SIP安全性研究的最新成果進(jìn)行了總結(jié)。通過(guò)SIP自身的擴(kuò)展增強(qiáng)安全性是目前的研究熱點(diǎn)，但當(dāng)前的研究成果普遍缺少驗(yàn)證和對(duì)兼容性的考慮，在實(shí)際應(yīng)用中也存在各自的不足。 然后，本文從SIP的體系結(jié)構(gòu)出發(fā)，提出安全

2、模型Sec-SIP，Sec-SIP通過(guò)對(duì)SIP的擴(kuò)展將公鑰加密體制引入SIP，保證了SIP消息在傳輸過(guò)程的安全性。文中給出了基于時(shí)間自動(dòng)機(jī)的Sec-SIP事務(wù)層形式化描述，并使用時(shí)間自動(dòng)機(jī)驗(yàn)證工具UPPAAL對(duì)Sec-SIP進(jìn)行建模，驗(yàn)證了Sec-SIP的無(wú)死鎖性、活性及與協(xié)議語(yǔ)義相關(guān)的特性，進(jìn)而針對(duì)常見(jiàn)的幾種攻擊進(jìn)行了安全分析，討論了Sec-SIP的兼容性。 最后，本文根據(jù)具體工程項(xiàng)目，基于開(kāi)源協(xié)議棧及Java密碼體系結(jié)構(gòu)實(shí)現(xiàn)