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

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

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

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

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