普適計(jì)算安全協(xié)議的模塊設(shè)計(jì)及CSP分析.pdf

1、普適計(jì)算是繼大型主機(jī)計(jì)算、桌面計(jì)算后的第三代計(jì)算，它將物理世界與計(jì)算世界融合為一體，使得人們與計(jì)算的聯(lián)系空前緊密。
　　 隨著各類普適計(jì)算項(xiàng)目的出現(xiàn)，人們主要關(guān)注的是新技術(shù)的應(yīng)用。卻忽略了更加重要的安全問(wèn)題，造成越來(lái)越多、越來(lái)越嚴(yán)重的安全威脅的出現(xiàn)。相對(duì)桌面計(jì)算，普適計(jì)算安全問(wèn)題更加復(fù)雜和突出，因此對(duì)普適計(jì)算安全問(wèn)題的研究具有重要意義。
　　 安全協(xié)議的設(shè)計(jì)與分析是解決普適計(jì)算安全問(wèn)題的關(guān)鍵技術(shù)。人們?cè)谧烂嬗?jì)算環(huán)境下，提

2、出了一些安全協(xié)議來(lái)解決各類安全問(wèn)題。然而，桌面計(jì)算環(huán)境下的安全協(xié)議設(shè)計(jì)與分析方法并不適用于普適計(jì)算環(huán)境。
　　 主要原因有以下幾點(diǎn)：
　　 1)普適計(jì)算特點(diǎn)。普適計(jì)算有著與桌面計(jì)算不同的影響安全要素的特點(diǎn)。如：普適計(jì)算以傳感器、嵌入式系統(tǒng)為基本硬件條件，網(wǎng)絡(luò)結(jié)構(gòu)通常是動(dòng)態(tài)的，節(jié)點(diǎn)常常暴露在不安全的環(huán)境中等等。
　　 2)安全協(xié)議設(shè)計(jì)的缺陷。普適計(jì)算對(duì)安全目標(biāo)的需求較桌面計(jì)算更為復(fù)雜。目前已有的一些協(xié)議設(shè)計(jì)方法尚且

3、難以滿足桌面計(jì)算安全需求，對(duì)普適計(jì)算的安全協(xié)議設(shè)計(jì)更無(wú)能為力。
　　 3)安全協(xié)議分析的缺陷。對(duì)安全協(xié)議進(jìn)行分析的各種方法難以滿足越來(lái)越復(fù)雜的協(xié)議的要求。普適計(jì)算安全協(xié)議的分析則更加困難。
　　 因此，本文以普適計(jì)算安全協(xié)議設(shè)計(jì)與分析為主要研究對(duì)象，對(duì)以下各方面都進(jìn)行了深入研究：
　　 1)普適計(jì)算的安全特點(diǎn)分析；
　　 2)普適計(jì)算安全協(xié)議設(shè)計(jì)方法的研究；
　　 3)普適計(jì)算安全協(xié)議分析方法的研

4、究；
　　 4)普適計(jì)算安全協(xié)議性能評(píng)估。
　　 本文創(chuàng)新性工作主要有：
　　 1)對(duì)普適計(jì)算項(xiàng)目安全缺陷分析及對(duì)普適計(jì)算與桌面計(jì)算比較，得出普適計(jì)算安全特點(diǎn)。
　　 2)分析已有安全協(xié)議設(shè)計(jì)方案的缺陷，提出一種基于串空間理論的模塊設(shè)計(jì)方法，它能滿足普適計(jì)算安全協(xié)議的設(shè)計(jì)要求。給出了協(xié)議設(shè)計(jì)的正確性證明，并給出符合模塊設(shè)計(jì)方案的協(xié)議需滿足的條件。最后，采用模塊設(shè)計(jì)方法，設(shè)計(jì)了一種符合普適計(jì)算安全目標(biāo)的可認(rèn)