基于密碼卡虛擬化的虛擬桌面隱私保護(hù)研究.pdf

1、隨著云計(jì)算技術(shù)日益成熟強(qiáng)大，傳統(tǒng)計(jì)算環(huán)境正大規(guī)模向云計(jì)算環(huán)境遷移。虛擬桌面是使用云計(jì)算資源最直接簡(jiǎn)單的方式，很多企業(yè)都將虛擬桌面應(yīng)用到基礎(chǔ)設(shè)施建設(shè)中，利用虛擬桌面高效靈活、易于管理的特點(diǎn)提高辦公效率,節(jié)約成本。
　　然而，虛擬桌面作為一種云服務(wù)，同樣存在數(shù)據(jù)隱私保護(hù)方面的安全問(wèn)題。虛擬桌面缺少了傳統(tǒng)計(jì)算機(jī)系統(tǒng)中的物理隔離，不同虛擬桌面共享數(shù)據(jù)中心的存儲(chǔ)與計(jì)算資源，這對(duì)隱私保護(hù)提出了更高的要求。由于缺少一種安全高效的虛擬桌面隱私保護(hù)

2、方法，使得安全問(wèn)題成為制約虛擬桌面技術(shù)發(fā)展普及的主要原因。
　　為了解決虛擬桌面下的隱私保護(hù)問(wèn)題，提出一種基于密碼卡虛擬化的隱私保護(hù)方法。首先根據(jù)虛擬密碼卡及虛擬桌面的特點(diǎn)，分析了虛擬密碼卡應(yīng)用于虛擬桌面隱私保護(hù)的優(yōu)勢(shì)及存在的安全問(wèn)題，基于Dolev-Yao模型建立虛擬密碼卡隱私保護(hù)威脅模型。隨后，結(jié)合威脅模型，改進(jìn)BLP模型并提出了動(dòng)態(tài)多安全級(jí)虛擬密碼卡隱私保護(hù)模型(virtual Encryption Device-Priva

3、cy Preserving Model，vED-PPM)。模型利用虛擬安全級(jí)取代傳統(tǒng)靜態(tài)安全級(jí)，結(jié)合狀態(tài)相關(guān)的安全級(jí)動(dòng)態(tài)調(diào)整策略，克服BLP模型的局限性，滿足虛擬桌面隱私保護(hù)的安全需求。定義新的安全引理、狀態(tài)轉(zhuǎn)換規(guī)則，添加并設(shè)計(jì)必要的認(rèn)證機(jī)制協(xié)議，嚴(yán)格控制信息流動(dòng)，指導(dǎo)資源調(diào)度，達(dá)到保護(hù)隱私安全的目的。最后，基于BLP可證明安全性理論、BAN邏輯形式化證明vED-PPM模型的有效性及安全性，并基于KVM及VirtIO技術(shù)實(shí)現(xiàn)了密碼卡虛擬