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

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

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

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