一種基于混合加密的OSGi認(rèn)證協(xié)議研究.pdf

1、近幾年，隨著越來越多的嵌入式設(shè)備，如移動(dòng)電話、PDA、家庭網(wǎng)關(guān)、工控設(shè)備等，接入到Internet，這些設(shè)備的安全問題受到了廣泛的關(guān)注。而作為網(wǎng)絡(luò)安全技術(shù)基礎(chǔ)的認(rèn)證技術(shù)也順理成章地成為人們關(guān)注的熱點(diǎn)問題。 由于嵌入式環(huán)境與桌面的分布式環(huán)境有很大的區(qū)別，一般分布式系統(tǒng)中的認(rèn)證協(xié)議并不能直接運(yùn)用到嵌入式平臺(tái)上。作為向家庭、汽車、小型辦公室和其他環(huán)境提供下一代互聯(lián)網(wǎng)服務(wù)的領(lǐng)先標(biāo)準(zhǔn)，Open Services Gateway Initi

2、ative(OSGi)平臺(tái)目前僅有的幾種認(rèn)證協(xié)議也存在著運(yùn)算量大或密鑰分發(fā)不便等問題。 本文針對以上問題，對基于OSGi平臺(tái)的認(rèn)證協(xié)議進(jìn)行了全面而深入的研究，主要工作包括以下四個(gè)部分： 在第一部分的嵌入式認(rèn)證協(xié)議設(shè)計(jì)中，主要研究了安全協(xié)議的設(shè)計(jì)方法與嵌入式系統(tǒng)的特點(diǎn)，結(jié)合對稱和非對稱密鑰加密系統(tǒng)的優(yōu)點(diǎn)，以KryptoKnight和X.509協(xié)議為基礎(chǔ)，提出了一種新的基于混合加密的OSGi認(rèn)證協(xié)議，該協(xié)議能較好地滿足OSG

3、i平臺(tái)環(huán)境對認(rèn)證協(xié)議最小性、易管理性和單點(diǎn)登錄的要求。 在第二部分的協(xié)議形式化分析中，主要研究了安全協(xié)議形式化分析的發(fā)展和CSP分析方法，對協(xié)議進(jìn)行了CSP建模，并對入侵者的行為作出有效的描述；設(shè)計(jì)出對安全屬性的規(guī)范化表達(dá)，并使用模型檢測工具FDR對協(xié)議的安全性進(jìn)行檢測。 在第三部分的協(xié)議實(shí)現(xiàn)中，主要研究了協(xié)議實(shí)現(xiàn)層次上的安全問題及其設(shè)計(jì)的方法，使用安全性較強(qiáng)的Java語言對協(xié)議給與實(shí)現(xiàn)。并且該實(shí)現(xiàn)能避免目前絕大部分形式