安全協(xié)議——理論與應(yīng)用.pdf

1、Internet的發(fā)展給人們提供了通信和獲取信息的自由，但同時(shí)Internet的開(kāi)放性也使得網(wǎng)絡(luò)通信遭受到更多的安全威脅。安全協(xié)議利用密碼技術(shù)保證安全、真實(shí)的通信。根據(jù)不同的應(yīng)用環(huán)境，安全協(xié)議必須滿足不同的安全屬性。因此，在安全協(xié)議的設(shè)計(jì)中，必須根據(jù)網(wǎng)絡(luò)構(gòu)造，分析其安全需求，設(shè)計(jì)滿足需求的安全協(xié)議。加密和簽名技術(shù)的發(fā)展為安全協(xié)議提供了計(jì)算復(fù)雜度和時(shí)間復(fù)雜度可選的不同方案；認(rèn)證框架的發(fā)展使得安全協(xié)議可以利用不同手段進(jìn)行身份認(rèn)證；形式化證明

2、技術(shù)幫助安全協(xié)議減少可能存在的安全漏洞。 本課題主要成果如下：首先，分析B3G網(wǎng)絡(luò)中移動(dòng)IP注冊(cè)過(guò)程中的安全要求，提出了移動(dòng)IP安全注冊(cè)協(xié)議。該協(xié)議利用對(duì)技術(shù)和基于身份的公鑰認(rèn)證框架，實(shí)現(xiàn)了通信過(guò)程中家鄉(xiāng)代理、外地代理和移動(dòng)節(jié)點(diǎn)三方之間的相互認(rèn)證和密鑰協(xié)商，同時(shí)保證了通信節(jié)點(diǎn)的身份保密性。 其次利用Kailar邏輯，發(fā)現(xiàn)了SIGMA協(xié)議的可否認(rèn)性缺陷?；贒-H密鑰交換，改進(jìn)了這個(gè)缺陷，提出一個(gè)具有可否認(rèn)性的認(rèn)證的密鑰協(xié)