基于Agent的移動(dòng)計(jì)算及其安全性研究.pdf

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

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

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