近年來移動(dòng)互聯(lián)網(wǎng)的快速發(fā)展促使智能手機(jī)的使用越來越普及，在眾多移動(dòng)平臺(tái)中，由Google基于Linux內(nèi)核設(shè)計(jì)的Android操作系統(tǒng)以其出眾的用戶體驗(yàn)和其開放性受到廣大用戶和手機(jī)制造商的青睞。根據(jù)Kantar2016年2月統(tǒng)計(jì)數(shù)據(jù)分析。Android手機(jī)操作系統(tǒng)市場(chǎng)占有率高達(dá)80. 7%，在智能手機(jī)市場(chǎng)占據(jù)第1位。隨著Android智能手機(jī)的功能逐漸完善以及計(jì)算能力和存儲(chǔ)能力的逐漸提升，越來越多的用戶習(xí)慣用手機(jī)進(jìn)行異地通信、休閑娛樂、網(wǎng)絡(luò)社交、移動(dòng)支付和遠(yuǎn)程辦公等。

　　針對(duì)Android系統(tǒng)粗粒度的權(quán)限機(jī)制及隱私保護(hù)機(jī)制安全性較低的問題，提出粒度可控的多域隔離隱私保護(hù)模型MDSDroid，并在Android系統(tǒng)上設(shè)計(jì)模型實(shí)現(xiàn)框架。通過定義模型變量以及訪問控制策略，實(shí)現(xiàn)應(yīng)用程序及其數(shù)據(jù)間的隔離和強(qiáng)安全訪問控制機(jī)制。采用Z語言對(duì)模型進(jìn)行形式定義，并運(yùn)用形式驗(yàn)證工具Z/EVES進(jìn)行形式分析，保證模型策略的正確執(zhí)行，在增強(qiáng)系統(tǒng)安全的同時(shí)保護(hù)隱私數(shù)據(jù)的安全性。實(shí)驗(yàn)結(jié)果表明，該模型系統(tǒng)與Android原生系統(tǒng)相比具有較低的性能損耗。