優(yōu)卡的可信計(jì)算基與安全機(jī)制研究.pdf

1、隨著智能卡應(yīng)用領(lǐng)域的日趨廣泛，單個(gè)持卡人的持卡數(shù)量將逐漸增多，由此引起的便攜性問(wèn)題也將日益嚴(yán)重。優(yōu)卡（Ucard）正是為了解決智能卡的便攜性問(wèn)題而提出的一種新的智能卡設(shè)計(jì)方案。多個(gè)智能卡的發(fā)行商都能夠向同一張Ucard上寫(xiě)入指令系統(tǒng)相同但種類(lèi)不同的各自的COS及相關(guān)應(yīng)用，從而形成Ucard所特有的多COS體系結(jié)構(gòu)，實(shí)現(xiàn)“一卡多發(fā)”。 可信計(jì)算是目前信息安全領(lǐng)域的一項(xiàng)重要研究分支，是事關(guān)國(guó)家安全、個(gè)人信息安全的重要課題?？尚庞?jì)算基

2、（TCB）是指在可信操作系統(tǒng)中實(shí)施了安全策略的軟硬件集合，在可信系統(tǒng)中占有極其重要的地位。通過(guò)形式化地從一個(gè)七元組模型的安全可信系統(tǒng)出發(fā)，給出了TCB更為精確的數(shù)學(xué)定義。通過(guò)對(duì)一些安全模型和評(píng)估標(biāo)準(zhǔn)的研究，將對(duì)多可信計(jì)算基的Ucard體系結(jié)構(gòu)的建模及其安全性的評(píng)估提供參考。 智能卡的安全可以歸納為物理安全和邏輯安全。通過(guò)建立傳統(tǒng)單COS智能卡的安全體系形式化模型，進(jìn)而分析它的可信計(jì)算基的構(gòu)成，最后從概率論的角度對(duì)其安全性進(jìn)行評(píng)估

3、，得出目前廣泛使用的單COS多應(yīng)用智能卡的體系結(jié)構(gòu)存在著安全隱患。 通過(guò)分析Ucard的安全策略約束，從集合論的角度抽象出Ucard系統(tǒng)的資源，最終得出Ucard在不同重構(gòu)狀態(tài)下其TCB的構(gòu)成。Ucard的可信計(jì)算基具有重構(gòu)的特征，Ucard內(nèi)核分時(shí)與各個(gè)COS內(nèi)部的安全保護(hù)裝置一起構(gòu)成了整個(gè)Ucard系統(tǒng)的多個(gè)可信計(jì)算基。 Ucard在主存儲(chǔ)器級(jí)別對(duì)COS進(jìn)行物理隔離保證了各COS擁有自己獨(dú)立的存儲(chǔ)器資源，實(shí)現(xiàn)了同一個(gè)