基于Agent的移動計算及其安全性研究.pdf

1、隨著近來計算機網(wǎng)絡技術、通信技術的飛速發(fā)展,基于因特網(wǎng)的全球性的計算平臺已經(jīng)建立起來；同時,由于高速無線通信技術的出現(xiàn)以及器件快速小型化,許多便攜式設備如：筆記本電腦,移動電話,PDA,以及各種信息家電也接入到網(wǎng)絡中來。以并發(fā)性、移動性、分布性、實時性、異構性和互操作性為主要特征的移動計算系統(tǒng)已經(jīng)成為計算機技術領域的一個研究熱點,很多研究成果已經(jīng)在實際信息系統(tǒng)的開發(fā)中得到廣泛應用。對于移動計算而言,安全性是移動計算能否成功應用的關鍵問題

2、。本文研究基于agent的移動計算系統(tǒng)的形式化理論和技術,并在形式化模型基礎上深入研究了基于agent的移動計算系統(tǒng)的安全性理論和技術,包括靜態(tài)安全性分析,安全信息流分析和基于安全自動機的動態(tài)監(jiān)測技術,最后探討了基于agent的移動基礎設施和消息傳遞算法。主要工作包括以下六個方面：(1)首先對移動計算系統(tǒng)中的安全要求、安全威脅和安全機制進行了討論,提出了移動計算的統(tǒng)一安全框架,并指出在移動計算中可以在統(tǒng)一的形式化計算模型中描述移動計算系

3、統(tǒng)并設計和表示不同的安全機制。(2)在基于進程代數(shù)的π演算框架下,通過引入位置、計算邊界和限制區(qū)域,建立了一個擴展的π演算模型：Confined-π演算。并在限制聲明的基礎上對進程的行為進行了規(guī)范,使得安全策略通過由計算邊界定義的格和限制區(qū)域的包含關系編碼到Confined-π演算中。(3)在Confined-π演算平臺上,從靜態(tài)分析的角度考查了實現(xiàn)移動計算系統(tǒng)靜態(tài)安全性分析的方法。通過在Confined-π演算中引入帶安全標記(計算邊