1、隨著嵌入式技術的發(fā)展，智能移動終端越來越普及。其不斷擴展的功能與不斷豐富的軟件支持，使得人們的日常生活越來越便利。并且，現(xiàn)在智能移動終端也越來越多地承擔起了用戶辦公方面的需求，大大降低了辦公成本，提高了工作效率。但智能移動終端技術的大量應用，也帶來了一系列安全上的問題與挑戰(zhàn)。
　　個人移動終端應用于工作之中，存在破壞企業(yè)安全環(huán)境的情況。將移動設備接入公用網絡，會有通信數(shù)據(jù)被監(jiān)聽的風險；帶有辦公資料的設備丟失，會泄露企業(yè)信息；帶有惡

2、意應用的個人設備接觸企業(yè)內部網絡，使企業(yè)系統(tǒng)不安全。這會給企業(yè)帶來巨大的損失。因此，需要一種技術在移動終端上構建出足夠安全的環(huán)境。該安全環(huán)境應有很強的隔離性，使上面的資料信息不被不安全的應用獲取。
　　本學位論文針對上述問題，使用基于微內核的虛擬化技術，以隔離性和性能為基本要求，構建出在一個硬件平臺上可以運行多個互相獨立的Android環(huán)境的微內核系統(tǒng)。主要內容如下：
　?。?）針對隔離性，本文采用了一種以組件為結點的樹型結

3、構來構建系統(tǒng)，每個組件具有自己單獨的地址空間，實現(xiàn)了通過內存管理單元（MMU）從硬件上進行隔離的方法，使得組件之間不能直接進行訪問。
　　（2）為了降低組件間的耦合度，本文實現(xiàn)了一種由內核統(tǒng)一管理的在組件之間進行的 C/S通信方式，采用一種強制用戶顯式配置服務的機制讓提供服務的組件聲明自己的服務，從而讓組件之間的通信變得可控和安全。并實現(xiàn)了一種基于會話的服務處理方式，把系統(tǒng)中的服務接口統(tǒng)一抽象成為會話接口，客戶組件使用會話與服務組

4、件進行交互獲得服務，從而讓開發(fā)變得靈活方便。
　　（3）針對微內核的性能問題，本文從硬件的多核特性入手，實現(xiàn)了系統(tǒng)對多核處理器的支持，使得組件能夠并行運行在多核處理器上。
　?。?）對系統(tǒng)的隔離性和多核優(yōu)化后的性能在 Pandaboard開發(fā)板上進行了測試。測試表明，系統(tǒng)各組件滿足隔離性的要求；相比優(yōu)化前，優(yōu)化后的系統(tǒng)提高了系統(tǒng)的并行計算能力。
　　目前，移動終端虛擬化領域的研究仍然存在許多挑戰(zhàn)，本學位論文所研究和實現(xiàn)