面向3G-WLAN互聯(lián)網(wǎng)絡(luò)的匿名雙向認(rèn)證機(jī)制EAP-AMAM研究與實(shí)現(xiàn).pdf

1、本文重點(diǎn)圍繞3G-WLAN互聯(lián)接入認(rèn)證中的安全問(wèn)題展開(kāi)研究，主要內(nèi)容包括：⑴構(gòu)建3G-WLAN接入認(rèn)證模型，提出面向3G-WLAN互聯(lián)網(wǎng)絡(luò)的匿名雙向認(rèn)證機(jī)制EAP-AMAM。該機(jī)制消除了不合理的假設(shè)條件，在WLAN接入網(wǎng)絡(luò)和3G歸屬網(wǎng)絡(luò)之間事先沒(méi)有建立信任關(guān)系的情況下實(shí)現(xiàn)WLAN接入網(wǎng)絡(luò)與3G歸屬網(wǎng)絡(luò)的雙向認(rèn)證；借助3G歸屬網(wǎng)絡(luò)的公鑰對(duì)用戶的身份信息進(jìn)行加密，實(shí)現(xiàn)用戶身份隱私的保護(hù)；利用哈希鏈當(dāng)作認(rèn)證憑據(jù)，消除五元認(rèn)證向量組所帶來(lái)的系統(tǒng)

2、開(kāi)銷；所提出的本地快速重認(rèn)證過(guò)程，減少了消息回合數(shù)，提高了認(rèn)證效率。⑵利用AVISPA形式化分析工具對(duì)EAP-AMAM的安全性進(jìn)行分析驗(yàn)證。該部分利用HLSPL語(yǔ)言對(duì)EAP-AMAM進(jìn)行角色化抽象建模，編寫(xiě)源程序，采用AVISPA四種不同的分析終端對(duì)EAP-AMAM的安全性進(jìn)行形式化驗(yàn)證。驗(yàn)證結(jié)果表明EAP-AMAM認(rèn)證機(jī)制達(dá)到所設(shè)定的安全驗(yàn)證目標(biāo)，能夠極大的增強(qiáng)認(rèn)證的安全性。⑶設(shè)計(jì)并實(shí)現(xiàn)3G-WLAN互聯(lián)網(wǎng)絡(luò)接入認(rèn)證系統(tǒng)。詳細(xì)闡述了該