面向PBOC2.0的智能卡操作系統(tǒng)的設(shè)計

文章出處：http://srpd123.com 作者： 人氣： 發(fā)表時間：2013年05月02日

    摘要：針對智能卡的市場需求，摒棄了存儲卡的設(shè)計思想，采用文件系統(tǒng)與安全訪問機制聯(lián)合設(shè)計及模塊化的設(shè)計方法，在文件結(jié)構(gòu)中加入二進制和記錄文件的概念，進行了可靠性存儲的設(shè)計。在智能卡操作系統(tǒng)的數(shù)據(jù)存取和文件管理模塊上，設(shè)計并實現(xiàn)了應(yīng)用防火墻和一卡多用的功能。該設(shè)計增加了智能卡的可靠性、適用性及靈活性。

    隨著我國CPU卡技術(shù)的快速發(fā)展，在身份識別、安全認證、金融消費等領(lǐng)域得到了廣泛應(yīng)用，逐漸成為我國IC卡應(yīng)用的主流產(chǎn)品，市場需求量必將出現(xiàn)質(zhì)的飛躍。在廣闊的市場需求背景下，CPU卡會產(chǎn)生良好的社會和經(jīng)濟效益，因此系統(tǒng)的安全性就顯得更加重要。

    近年來，國內(nèi)許多廠商都開展了智能卡芯片及COS的研制開發(fā)，特別是在COS開發(fā)上，國內(nèi)已經(jīng)有幾家公司走在了市場前列，在國際國內(nèi)市場取得了一席之地，我國單純依賴進口芯片、模塊的狀況已經(jīng)結(jié)束。目前國產(chǎn)COS所選用的芯片主要有Infineon、ST、HITACHI、SAMSUNG、Philips、明華、大唐電信、華虹等。

    這些芯片價格不同，功能上也有很大差別，功能強大的芯片會支持內(nèi)置隨機數(shù)產(chǎn)生器、CRC校驗?zāi)K、DES和EC2加速模塊等。

    本設(shè)計與目前存在的COS設(shè)計相比，具有以下幾個特點：(1)采用文件系統(tǒng)與安全訪問機制的聯(lián)合設(shè)計；(2)摒棄了存儲卡的設(shè)計思想，在文件結(jié)構(gòu)中加入二進制文件和記錄文件的概念；(3)在軟件設(shè)計上采用先進的模塊化設(shè)計方法；(4)采用可靠性存儲的設(shè)計。

    1 設(shè)計原則

    本設(shè)計緊密結(jié)合智能卡的市場需求，嚴格遵循密碼產(chǎn)品設(shè)計的規(guī)范，力求從硬件和軟件兩個層面達到國家信息化安全的要求。在硬件設(shè)計上，選用通過國密認證的智能卡芯片，內(nèi)部的微處理器采用8位字長的中央處理器，卡片內(nèi)部邏輯結(jié)構(gòu)如圖1所示。

圖1 CPU模塊內(nèi)部邏輯結(jié)構(gòu)圖

    在軟件設(shè)計上，針對當前智能卡應(yīng)用的實際需求，量身定制了有特色的文件存儲結(jié)構(gòu)、安全訪問控制機制和存儲可靠性設(shè)計方案。采取可靠、先進的模塊化設(shè)計，使得操作系統(tǒng)能夠支持市場的主流應(yīng)用，并在需要的情況下迅速擴展支持新的應(yīng)用需求，采用ISO14443 TypeA接口協(xié)議，可靠性高，適用性廣。本設(shè)計完全符合國際、國內(nèi)標準，支持ISO／IEC 78 16協(xié)議標準，支持ISO／IEC 14443 TypeA和TypeB標準，符合《中國金融集成電路(IC)卡規(guī)范》，符合《建設(shè)事業(yè)非接觸式CPU卡COS技術(shù)要求》。

    2 總體設(shè)計

    在對以往各種智能卡操作系統(tǒng)的體系結(jié)構(gòu)進行深入剖析的基礎(chǔ)上，針對其中數(shù)據(jù)獨立、密鑰獨立、數(shù)據(jù)在傳輸中完整性方面的不足，進行了改進和完善。將操作系統(tǒng)劃分為4個模塊，分別為傳輸管理、安全管理、應(yīng)用管理和文件管理，模塊工作原理如圖2所示。

    接口設(shè)備(IFD)向Ic卡(ICC)發(fā)送一條命令的工作過程。在首先傳輸管理模塊按照ISO7816—3標準對物理層傳輸?shù)男盘栠M行解碼并傳遞給安全模塊。若為加密傳輸，則安全模塊進行加解密操作并將結(jié)果傳輸給應(yīng)用管理模塊；若不是加密傳輸則信息直接傳輸給應(yīng)用管理模塊。應(yīng)用管理模塊根據(jù)預先設(shè)計要求，解析檢查此命令的合法性及執(zhí)行條件，檢查通過則執(zhí)行此命令。如果此命令涉及信息存取，則文件管理模塊檢查其是否滿足預先設(shè)計的存取安全條件，若條件滿足則執(zhí)行有關(guān)數(shù)據(jù)存取操作并發(fā)送響應(yīng)到IFD。整個過程中任何檢查失敗將立即退出并返回相應(yīng)出錯信息。

圖2 模塊工作原理圖

    2．1 傳輸管理

    傳輸管理器負責智能卡和接口設(shè)備之間的數(shù)據(jù)通信，接收過程中要處理對輸人數(shù)據(jù)的緩沖，響應(yīng)過程控制數(shù)據(jù)的發(fā)送。傳輸管理器在正確地接收到命令后交給下一個功能模塊進行處理，最后還要把該命令的執(zhí)行結(jié)果返回給接口設(shè)備。

    數(shù)據(jù)在傳輸方式上有4種類型：明文方式、明文校驗方式、密文方式和密文校驗方式。對以明文方式進行傳輸?shù)臄?shù)據(jù)由傳輸管理器直接送給命令處理模塊。當數(shù)據(jù)以校驗或密文方式傳輸時需要加解密運算器對數(shù)據(jù)進行處理，并設(shè)定卡片的安全狀態(tài)，即對數(shù)據(jù)進行線路保護。對傳輸?shù)男畔⑦M行保護是信息安全的最重要的方面，為防止對傳輸信息的非法截取，采用選定的加密算法對傳輸信息進行加密保護，使非法截取信息不可讀、不可知 ，具體過程如圖3所示。

圖3 數(shù)據(jù)的線路保護

    2．2 安全管理

    安全管理歸納為認證操作、存取權(quán)限控制和數(shù)據(jù)加解密3個部分。

    2．2．1 認證操作

    認證操作包括口令認證、內(nèi)部認證和外部認證3個方面。
    (1)口令認證：用戶通過命令Verify輸入口令，然后首先判斷密碼文件中指定密碼的錯誤計數(shù)器的值是否已是最大。如否，則與密碼進行比較，比較成功設(shè)置相關(guān)寄存器的值，下一步操作時需首先判斷此寄存器的值。否則，錯誤計數(shù)器加1，需再次輸入口令比較。
    (2)內(nèi)部認證：提供了利用接口設(shè)備發(fā)來的隨機數(shù)和自身存儲的相關(guān)密鑰進行數(shù)據(jù)認證的功能，是設(shè)備對卡片的認證。當該相關(guān)密鑰位于MF文件時，命令可以用來鑒別整個卡；當該相關(guān)密鑰位于一個DF文件時，命令可以用來鑒別該DF文件。
    (3)外部認證：用于對卡片外部的安全認證。計算的方法是利用卡片中的外部認證密鑰，對卡片產(chǎn)生的隨機數(shù)和接口設(shè)備傳輸進來的認證數(shù)據(jù)進行驗證，卡片將比較輸入的結(jié)果是否與卡片自己計算的結(jié)果一致，如果一致，則外部認證成功。

    2．2．2 存取權(quán)限控制

    操作系統(tǒng)對特定存儲區(qū)進行權(quán)限限制以進行保護，此類存儲區(qū)分別被設(shè)置了讀、寫、擦除的存儲權(quán)限值。當對相應(yīng)存儲區(qū)進行操作時，操作系統(tǒng)首先檢測操作是否符合存儲權(quán)限。本設(shè)計使用的安全機制稱為狀態(tài)字(也稱AC字，16 bit)轉(zhuǎn)移機制，每一種安全狀態(tài)字都代表一種不同的安全級，智能卡將保持其安全狀態(tài)字節(jié)中所代表的狀態(tài)。智能卡中有兩個安全狀態(tài)字，其中高字節(jié)表示當前DF文件的父DF文件的安全狀態(tài)，低字節(jié)表示當前DF文件的安全狀態(tài)。當通過查找命令從高應(yīng)用文件層進入到它的子DF文件的時候，當前DF文件的安全保護字節(jié)將被清空，高應(yīng)用文件層的DF文件的安全字節(jié)將被作為當前文件的父DF文件的安全狀態(tài)字節(jié)，使用CDF—AC來表示當前DF文件的安全狀態(tài)字節(jié)，PDF— AC來表示當前文件的父DF文件的安全狀態(tài)字節(jié)。

    安全屬性是指對某個文件進行某種操作時所必須滿足的條件，也就是在進行某種操作時要求安全狀態(tài)寄存器的值是什么。安全屬性又稱訪問權(quán)限，一種訪問權(quán)限在建立該文件時用一個字節(jié)指定¨ 。狀態(tài)字轉(zhuǎn)移機制遵循以下的規(guī)則：

    復位后，MF文件將被自動選擇為當前的應(yīng)用文件。并且CDF_AC=0x00，PDF—Ac=0xO0。從當前的應(yīng)用文件查找它的子DF文件：PDF_AC=CDF—AC，CDF_AC=0xO0。從當前的應(yīng)用文件查找它的父DF文件：CDFAC =PDF_AC，PDF_ AC=0x00。如果當前應(yīng)用文件的父DF文件時MF文件，那么：CDF_AC=PDF_AC。

    只有“外部認證”與“口令認證”這兩種方式可以改變當前安全狀態(tài)字節(jié)，一旦安全狀態(tài)字節(jié)被改變了，該狀態(tài)將一直保持到進入另一個應(yīng)用文件為止?；疚募拇嫒∫约皯?yīng)用命令的執(zhí)行都由定義的各自不同的安全狀態(tài)來決定。在安全狀態(tài)不滿足的情況下，智能卡將返回“6982”l15]，即“安全狀態(tài)不滿足”。

    2．2．3 數(shù)據(jù)加解密

    本設(shè)計使用了對稱密碼算法(DES)與國密算法(SM1／SSF33)相結(jié)合的方法，可根據(jù)具體要求，選擇合適算法。其中對稱密碼算法，加密密鑰和解密密鑰是相同的，加解密速度快，可用來處理大量數(shù)據(jù)信息，是至今為止應(yīng)用最廣泛的算法，以目前的計算機技術(shù)和費用還無法攻破，但是密鑰很容易在傳輸中被截獲 。在每次啟用密碼算法前，系統(tǒng)都臨時協(xié)商隨機產(chǎn)生一個真隨機數(shù)參與運算，進一步加強整個加密過程數(shù)據(jù)的隨機性，對防破解起到重要作用。密鑰存儲在卡內(nèi)，密鑰只有在安全條件滿足的情況下使用，但是不能讀取，保證在任何情況下密鑰不會從卡片中泄露。

    2．3 應(yīng)用管理

    對外部輸入的每條命令做語法分析，分析和檢查命令參數(shù)是否正確，然后根據(jù)命令參數(shù)的含義執(zhí)行相應(yīng)的功能模塊，并返回響應(yīng)。如果執(zhí)行出錯，將從該模塊直接返回錯誤信息。

    2．4 文件管理

    文件管理器控制文件的操作和訪問。在做數(shù)據(jù)操作前，文件管理器將根據(jù)文件的安全屬性檢查卡的安全狀態(tài)，以確定是否允許當前操作。

    智能卡中文件系統(tǒng)由3種文件組成，即主文件(MF)、目錄文件(DF)和基本文件(EF)，同數(shù)據(jù)塊一樣主要根據(jù)不同的應(yīng)用對數(shù)據(jù)信息進行存儲。在整個文件架構(gòu)中，存在一個具有唯一標識符“3F00”的特殊專有文件，稱為主文件(MF)，任何其他的DF或者EF都必須在主文件下創(chuàng)建。每個DF下可以包含多個DF和EF，包含下級目錄的文件為DDF，不包含下級目錄的文件為ADF。當智能卡復位后(上電復位或者熱復位)MF文件將自動被選擇作為當前文件，智能卡文件系統(tǒng)的具體結(jié)構(gòu)如圖4所示。

圖4 智能卡的文件系統(tǒng)

    DF文件的存儲空間在“Create DF”的過程中定義，一旦DF文件被創(chuàng)建，那么之后它的存儲空間就不能再改變，因此MF文件的存儲空問將決定整個智能卡可使用的空間。每個DF文件有54個字節(jié)的文件頭，每個EF文件有39個字節(jié)的文件頭。與之相似，EF文件的存儲空間也是在“Create EF”的過程中定義，在ISF中每種密鑰都有16個字節(jié)的密鑰頭，在EF文件中每一個變長記錄都有兩個字節(jié)的記錄頭。因此創(chuàng)建一個應(yīng)用時，就可以根據(jù)以上的文件結(jié)構(gòu)定義精確計算出所需要的整個存儲空間的大小(包括文件體、每個文件頭和記錄頭的空間凈需求)。

    本設(shè)計摒棄了存儲卡的設(shè)計思想_1 。在文件結(jié)構(gòu)中加入二進制文件和記錄文件的概念，減少了對卡片做個人化時的不便，充分地進行整體數(shù)據(jù)結(jié)構(gòu)設(shè)計，最大化利用了CPU卡的強大的數(shù)據(jù)處理能力，給了用戶很大便利。采用文件系統(tǒng)與安全訪問機制的聯(lián)合設(shè)計。將文件存儲和應(yīng)用防火墻進行統(tǒng)一設(shè)計，使智能卡的文件系統(tǒng)可支持多層DF文件結(jié)構(gòu)，用戶可以利用這種結(jié)構(gòu)在一張卡實現(xiàn)多應(yīng)用¨ 。不同DF文件的安全狀態(tài)由內(nèi)部的防火墻隔開，不同的應(yīng)用都有各自的安全機制而互不影響。對DF和ISF的文件采取固定的文件頭結(jié)構(gòu)，簡化文件系統(tǒng)空間的計算，提高卡片工作的可靠性。可靠性存儲的設(shè)計，保證了在任何情況下數(shù)據(jù)存儲的完整性，并定義了可靠的機制，保證數(shù)據(jù)在意外掉電的情況下能夠可靠恢復。

    3 開發(fā)實現(xiàn)

    本設(shè)計使用Keil uVision4作為開發(fā)平臺，所有的程序開發(fā)都在平臺上完成。選擇8052單片機芯片，使用C語言作為開發(fā)語言，選擇TMC程序仿真器對程序進行仿真測試，可以通過Keil uVision4的仿真按鈕將TOE程序下載到仿真器中，并在程序中設(shè)置相關(guān)斷點對程序進行仿真測試。

    4 結(jié)語

    本設(shè)計硬件存儲容量大，軟件設(shè)計擴展性好，能夠支持多應(yīng)用，符合智能卡產(chǎn)品的技術(shù)發(fā)展潮流，具有良好的應(yīng)用前景?？▋?nèi)部防火墻可以進行應(yīng)用隔離，把身份認證、社保、銀行、醫(yī)療、商業(yè)、公路收費、公園卡以及其他應(yīng)用集成到一個智能卡中，既可以提高服務(wù)效率、工作效率、服務(wù)質(zhì)量和管理水平，又能夠有效地利用卡資源，降低使用成本。今后，如何進一步提高可靠性又不失其靈活性，是智能卡發(fā)展中需要長期面對和解決的問題?！渡綎|科學》（濟南大學信息科學與工程學院，山東省網(wǎng)絡(luò)環(huán)境智能計算技術(shù)重點實驗室  胡云肖，楊波，孫濤，郭延海）

    參考文獻：
    [1]孫菁，傅德勝．序列密碼中密鑰流生成器的安全性研究與分析[J]．信息安全與技術(shù)，2010(7)：65—68．
    [2]鄧贊．智能卡操作系統(tǒng)(COS)安全管理研究[J]．硅谷，2010(2)：50—51．
    [3]SAUVERON D．Multiapplication smart card：Towards an open smart card?[J]．1nf Secur Tech Rep，2009，14(2)：70—78．
    [4]寧詠梅．智能卡操作系統(tǒng)(COS)的系統(tǒng)測試方法的設(shè)計與實現(xiàn)[D]．上海：上海交通大學，2011．
    [5]車平躍．智能卡操作系統(tǒng)內(nèi)核的研究與實現(xiàn)[D]．北京：北京郵電大學，2010．
    [6]MAYES K E，MARKANTONAKIS K．Smart CaMs，Tokens，Security and Applications[M]．New York：Springer Science+Business Media，LLC ，2008．
    [7]馬海峰．智能卡COS文件系統(tǒng)結(jié)構(gòu)模型的研究與應(yīng)用[D]．廣州：廣東工業(yè)大學，2011．
    [8]董威．多應(yīng)用智能卡新技術(shù)研究[D]．北京：北京郵電大學，2008．
    [9]劉玉珍，張煥國．安全智能卡的結(jié)構(gòu)研究與應(yīng)用[J]．中國防偽報道，2008(10)：34—37．
    [10]郭鴻志，李代平，尹偉，等．智能卡芯片操作系統(tǒng)的研究與實現(xiàn)[J]．計算機工程與設(shè)計，2010，31(19)：4186—4189．
    [11]尹偉，李代平，王挺，等．基于Flash智能卡文件系統(tǒng)的設(shè)計[J]．微計算機信息，2009，25(11—2)：97—99．
    [12]許東亮．嵌入式USB主機文件系統(tǒng)設(shè)計與優(yōu)化[J]．計算機工程與設(shè)計，2008，29(1O)：42—43．
    [13]劉文博，劉宏偉．動態(tài)多應(yīng)用智能卡文件系統(tǒng)的研究與設(shè)計[J]．微計算機信息，2009(29)：204—206．
    [14]許天亮，方勇．基于可信計算的Java智能卡的設(shè)計與實現(xiàn)[J]．微計算機信息，2009(17)：45—47．
    [15]王高祖，李偉華，徐艷玲，等．基于Tms~one技術(shù)和p~CLinux的安全嵌入式系統(tǒng)設(shè)計與實現(xiàn)[J]．計算機應(yīng)用研究，2008，25(6)：1793—1795．
    [16]陳莉莉，劉正龍．以數(shù)據(jù)為中心的多用戶跨平臺的Web開發(fā)技術(shù)[J]．計算機應(yīng)用與軟件，2012，29(2)：237—239．
    [17]吳開興，杜輝．智能卡實時監(jiān)控考勤系統(tǒng)的設(shè)計與實現(xiàn)[J]．微計算機信息，2008，24(2—2)：302—303．
    [18]彭彥，鞠磊，方勇．基于Java智能卡的可信度量模塊設(shè)計[J]．微計算機信息，2009，25(6—3)：40—42．
    [19]胡鳴，張小兵，王艷．一種新的基于智能卡的身份認證方案[J]．微計算機信息，2010，26(1—3)：41—42．
    [20]徐平江，龐娜，付青琴．基于鏈表方式的智能卡文件系統(tǒng)設(shè)計[J]．微計算機信息，2011，27(11)：40—50．