醫(yī)療無(wú)線體域網(wǎng)輕量認(rèn)證協(xié)議的研究.pdf

1、醫(yī)療無(wú)線體域網(wǎng)傳輸?shù)木鶠樯嚓P(guān)的高度敏感和隱私信息，認(rèn)證機(jī)制是保障生理信息完整性、保密性、可用性和隱私的前提條件。因此，醫(yī)療無(wú)線體域網(wǎng)的認(rèn)證機(jī)制與其功能與性能相同重要。本文針對(duì)醫(yī)療無(wú)線體域網(wǎng)的認(rèn)證機(jī)制進(jìn)行了深入研究，主要完成了如下工作：
　?。?）設(shè)計(jì)了一種用于醫(yī)療無(wú)線體域網(wǎng)應(yīng)用的WBAN_OTP認(rèn)證協(xié)議
　　在分析醫(yī)療無(wú)線體域網(wǎng)認(rèn)證機(jī)制安全與性能需求的基礎(chǔ)上，綜合利用S/Key、SAS、SAS-2的輕量和低成本優(yōu)點(diǎn)，通過(guò)

2、引入設(shè)備標(biāo)識(shí)、系統(tǒng)時(shí)間戳、ECC加密與簽名算法、減少哈希運(yùn)算和消息傳輸次數(shù)等手段，在保持輕量和低成本優(yōu)勢(shì)的前提下，設(shè)計(jì)了一種多因素、互認(rèn)證、端到端、無(wú)證書簽名和安全健壯的醫(yī)療無(wú)線體域網(wǎng)應(yīng)用認(rèn)證協(xié)議。
　?。?）分析和形式化證明了WBAN_OTP認(rèn)證協(xié)議的安全屬性
　　在理論分析WBAN_OTP認(rèn)證協(xié)議具備多因素、互認(rèn)證、不可否認(rèn)性、不可鏈接性、端到端和抵御各種網(wǎng)絡(luò)攻擊的基礎(chǔ)上，采用形式化驗(yàn)證工具Coq8.5證明了WBAN_O