優(yōu)卡系統(tǒng)的形式化研究.pdf

1、推進(jìn)國(guó)民經(jīng)濟(jì)的信息化是構(gòu)建和諧社會(huì)的重要內(nèi)容，智能卡的廣泛應(yīng)用為國(guó)家的信息化工作做出了巨大的貢獻(xiàn)。隨著智能卡的廣泛應(yīng)用，個(gè)人持有智能卡的種類和數(shù)量增加，造成攜帶和使用不便。提高智能卡便攜性的較好解決方法是在“一卡多用”的基礎(chǔ)上實(shí)現(xiàn)“一卡多發(fā)”。 優(yōu)卡是采用新的軟硬件技術(shù)在一張卡集成相互獨(dú)立的現(xiàn)行多張指令相同種類不同的COS及應(yīng)用的一種新型智能卡。優(yōu)卡很好地解決了智能卡的便攜性問(wèn)題，一張優(yōu)卡相當(dāng)于多張不同的智能卡。多個(gè)智能卡的發(fā)行

2、商都可對(duì)同一張優(yōu)卡進(jìn)行發(fā)卡操作，寫入自己的COS以及應(yīng)用和數(shù)據(jù)，并且各COS的安全性由自己負(fù)責(zé)。優(yōu)卡內(nèi)部的物理隔離保證了各COS不能相互訪問(wèn)。 優(yōu)卡系統(tǒng)由主處理器系統(tǒng)和協(xié)處理器系統(tǒng)兩大部分組成。主處理器系統(tǒng)和協(xié)處理器系統(tǒng)分別包括相關(guān)的硬件資源和軟件資源，二者構(gòu)成了優(yōu)卡資源的集合。優(yōu)卡的操作主要有對(duì)內(nèi)操作和對(duì)外操作。優(yōu)卡具有獨(dú)立安全性、時(shí)間互斥性和透明性等。 優(yōu)卡有兩種工作狀態(tài)，發(fā)卡態(tài)和用卡態(tài)。在發(fā)卡過(guò)程中，優(yōu)卡接收來(lái)自終

3、端的命令并完成相關(guān)的內(nèi)部操作，相應(yīng)地，主處理器系統(tǒng)和協(xié)處理器系統(tǒng)的狀態(tài)發(fā)生相應(yīng)的改變，據(jù)此建立了二者的狀態(tài)機(jī)模型，給出了狀態(tài)轉(zhuǎn)換圖。優(yōu)卡的用卡過(guò)程包括硬件重構(gòu)、交易用卡和退出清理三個(gè)階段。 優(yōu)卡具有與傳統(tǒng)智能卡不同的體系結(jié)構(gòu)，它允許多個(gè)COS及其應(yīng)用組成的多軟件系統(tǒng)運(yùn)行于同一硬件平臺(tái)。優(yōu)卡的體系結(jié)構(gòu)具有可重構(gòu)特性。實(shí)現(xiàn)優(yōu)卡可重構(gòu)的體系結(jié)構(gòu)的核心是控制性數(shù)據(jù)、控制性程序和控制性部件。重構(gòu)的穩(wěn)定性包括兩個(gè)方面，一是控制性數(shù)據(jù)的完整性