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

1、基于PBOC2.0的智能卡操作系統(tǒng)的設(shè)計來源：中國一卡通網(wǎng)  作者：胡云肖，楊波，孫濤，郭延海  發(fā)布時間：2013-03-06 10:08:22  字體:大 中 小關(guān)鍵字：智能卡  一卡通  PBOC2.0          摘   要：針對智能卡的市場需求，摒棄了存儲卡的設(shè)計思想，采用文件系統(tǒng)與安全訪問機制聯(lián)合設(shè)計及模塊化的設(shè)計方法，在文件結(jié)構(gòu)中加入二進制和記錄文

2、件的概念，進行了可靠性存儲的設(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)C

3、OS所選用的芯片主要有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ī)范，力求從硬件和軟件兩個層面達到國家信息化安全

4、的要求。在硬件設(shè)計上，選用通過國密認證的智能卡芯片，內(nèi)部的微處理器采用8位字長的中央處理器，卡片內(nèi)部邏輯結(jié)構(gòu)如圖1所示。 圖1 CPU模塊內(nèi)部邏輯結(jié)構(gòu)圖在軟件設(shè)計上，針對當(dāng)前智能卡應(yīng)用的實際需求，量身定制了有特色的文件存儲結(jié)構(gòu)、安全訪問控制機制和存儲可靠性設(shè)計方案。采取可靠、先進的模塊化設(shè)計，使得操作系統(tǒng)能夠支持市場的主流應(yīng)用，并在需要的情況下迅速擴展支持新的應(yīng)用需求，采用ISO14443 TypeA接口協(xié)議，可靠性高，適用性廣。本設(shè)計完全符合國際、國內(nèi)標準，支持ISOIEC 78 16協(xié)議標準，支持ISOIEC 14443 TypeA和TypeB標準，符合中國金融集成電路(IC)卡

5、規(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ā)送一條命令的工作過程。在首先傳輸管理模塊按照ISO78163標準對物理層傳輸?shù)男盘栠M行解碼并傳遞給安全模塊。若為加密傳輸，則安全模塊進行加解密操作并將結(jié)果傳輸給應(yīng)用管理模塊；若不是加密傳輸則信息直接傳輸給應(yīng)用管理模塊。應(yīng)用管理模塊根據(jù)預(yù)先設(shè)計要求，解析檢查此命令的

6、合法性及執(zhí)行條件，檢查通過則執(zhí)行此命令。如果此命令涉及信息存取，則文件管理模塊檢查其是否滿足預(yù)先設(shè)計的存取安全條件，若條件滿足則執(zhí)行有關(guān)數(shù)據(jù)存取操作并發(fā)送響應(yīng)到IFD。整個過程中任何檢查失敗將立即退出并返回相應(yīng)出錯信息。 圖2 模塊工作原理圖21 傳輸管理 傳輸管理器負責(zé)智能卡和接口設(shè)備之間的數(shù)據(jù)通信，接收過程中要處理對輸人數(shù)據(jù)的緩沖，響應(yīng)過程控制數(shù)據(jù)的發(fā)送。傳輸管理器在正確地接收到命令后交給下一個功能模塊進行處理，最后還要把該命令的執(zhí)行結(jié)果返回給接口設(shè)備。 數(shù)據(jù)在傳輸方式上有4種類型：明文方式、明文校驗方式、密文方式和密文校驗方式。對以明文方式進行傳輸?shù)臄?shù)據(jù)由傳輸管理器直接送給命令

7、處理模塊。當(dāng)數(shù)據(jù)以校驗或密文方式傳輸時需要加解密運算器對數(shù)據(jù)進行處理，并設(shè)定卡片的安全狀態(tài)，即對數(shù)據(jù)進行線路保護。對傳輸?shù)男畔⑦M行保護是信息安全的最重要的方面，為防止對傳輸信息的非法截取，采用選定的加密算法對傳輸信息進行加密保護，使非法截取信息不可讀、不可知 ，具體過程如圖3所示。 圖3 數(shù)據(jù)的線路保護22 安全管理 安全管理歸納為認證操作、存取權(quán)限控制和數(shù)據(jù)加解密3個部分。 221 認證操作 認證操作包括口令認證、內(nèi)部認證和外部認證3個方面。 (1)口令認證：用戶通過命令Verify輸入口令，然后首先判斷密碼文件中指定密碼的錯誤計數(shù)器的值是否已是最大。如否，則與密碼進行比較，比較成

8、功設(shè)置相關(guān)寄存器的值，下一步操作時需首先判斷此寄存器的值。否則，錯誤計數(shù)器加1，需再次輸入口令比較。 (2)內(nèi)部認證：提供了利用接口設(shè)備發(fā)來的隨機數(shù)和自身存儲的相關(guān)密鑰進行數(shù)據(jù)認證的功能，是設(shè)備對卡片的認證。當(dāng)該相關(guān)密鑰位于MF文件時，命令可以用來鑒別整個卡；當(dāng)該相關(guān)密鑰位于一個DF文件時，命令可以用來鑒別該DF文件。 (3)外部認證：用于對卡片外部的安全認證。計算的方法是利用卡片中的外部認證密鑰，對卡片產(chǎn)生的隨機數(shù)和接口設(shè)備傳輸進來的認證數(shù)據(jù)進行驗證，卡片將比較輸入的結(jié)果是否與卡片自己計算的結(jié)果一致，如果一致，則外部認證成功。 222 存取權(quán)限控制 操作系統(tǒng)對特定存儲區(qū)進行權(quán)限限制以進行保護

9、，此類存儲區(qū)分別被設(shè)置了讀、寫、擦除的存儲權(quán)限值。當(dāng)對相應(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é)表示當(dāng)前DF文件的父DF文件的安全狀態(tài)，低字節(jié)表示當(dāng)前DF文件的安全狀態(tài)。當(dāng)通過查找命令從高應(yīng)用文件層進入到它的子DF文件的時候，當(dāng)前DF文件的安全保護字節(jié)將被清空，高應(yīng)用文件層的DF文件的安全字節(jié)將被作為當(dāng)前文件的父DF文件的安全狀態(tài)字節(jié)，使用CDFAC來表示當(dāng)前DF文件的安全狀態(tài)字節(jié)，PDF A

10、C來表示當(dāng)前文件的父DF文件的安全狀態(tài)字節(jié)。 安全屬性是指對某個文件進行某種操作時所必須滿足的條件，也就是在進行某種操作時要求安全狀態(tài)寄存器的值是什么。安全屬性又稱訪問權(quán)限，一種訪問權(quán)限在建立該文件時用一個字節(jié)指定¨ 。狀態(tài)字轉(zhuǎn)移機制遵循以下的規(guī)則： 復(fù)位后，MF文件將被自動選擇為當(dāng)前的應(yīng)用文件。并且CDF_AC=0x00，PDFAc=0xO0。從當(dāng)前的應(yīng)用文件查找它的子DF文件：PDF_AC=CDFAC，CDF_AC=0xO0。從當(dāng)前的應(yīng)用文件查找它的父DF文件：CDFAC =PDF_AC，PDF_ AC=0x00。如果當(dāng)前應(yīng)用文件的父DF文件時MF文件，那么：CDF_AC=PDF

11、_AC。 只有“外部認證”與“口令認證”這兩種方式可以改變當(dāng)前安全狀態(tài)字節(jié)，一旦安全狀態(tài)字節(jié)被改變了，該狀態(tài)將一直保持到進入另一個應(yīng)用文件為止?；疚募拇嫒∫约皯?yīng)用命令的執(zhí)行都由定義的各自不同的安全狀態(tài)來決定。在安全狀態(tài)不滿足的情況下，智能卡將返回“6982”l15，即“安全狀態(tài)不滿足”。 223 數(shù)據(jù)加解密 本設(shè)計使用了對稱密碼算法(DES)與國密算法(SM1SSF33)相結(jié)合的方法，可根據(jù)具體要求，選擇合適算法。其中對稱密碼算法，加密密鑰和解密密鑰是相同的，加解密速度快，可用來處理大量數(shù)據(jù)信息，是至今為止應(yīng)用最廣泛的算法，以目前的計算機技術(shù)和費用還無法攻破，但是密鑰很容易在傳輸中被截獲

12、。在每次啟用密碼算法前，系統(tǒng)都臨時協(xié)商隨機產(chǎn)生一個真隨機數(shù)參與運算，進一步加強整個加密過程數(shù)據(jù)的隨機性，對防破解起到重要作用。密鑰存儲在卡內(nèi)，密鑰只有在安全條件滿足的情況下使用，但是不能讀取，保證在任何情況下密鑰不會從卡片中泄露。 23 應(yīng)用管理 對外部輸入的每條命令做語法分析，分析和檢查命令參數(shù)是否正確，然后根據(jù)命令參數(shù)的含義執(zhí)行相應(yīng)的功能模塊，并返回響應(yīng)。如果執(zhí)行出錯，將從該模塊直接返回錯誤信息。 24 文件管理 文件管理器控制文件的操作和訪問。在做數(shù)據(jù)操作前，文件管理器將根據(jù)文件的安全屬性檢查卡的安全狀態(tài)，以確定是否允許當(dāng)前操作。 智能卡中文件系統(tǒng)由3種文件組成，即主文件(MF)、目錄文

13、件(DF)和基本文件(EF)，同數(shù)據(jù)塊一樣主要根據(jù)不同的應(yīng)用對數(shù)據(jù)信息進行存儲。在整個文件架構(gòu)中，存在一個具有唯一標識符“3F00”的特殊專有文件，稱為主文件(MF)，任何其他的DF或者EF都必須在主文件下創(chuàng)建。每個DF下可以包含多個DF和EF，包含下級目錄的文件為DDF，不包含下級目錄的文件為ADF。當(dāng)智能卡復(fù)位后(上電復(fù)位或者熱復(fù)位)MF文件將自動被選擇作為當(dāng)前文件，智能卡文件系統(tǒng)的具體結(jié)構(gòu)如圖4所示。 圖4 智能卡的文件系統(tǒng)DF文件的存儲空間在“Create DF”的過程中定義，一旦DF文件被創(chuàng)建，那么之后它的存儲空間就不能再改變，因此MF文件的存儲空問將決定整個智能卡可使用的

14、空間。每個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è)

15、計。將文件存儲和應(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)空間的計算，提高卡片工作的可靠性?？煽啃源鎯Φ脑O(shè)計，保證了在任何情況下數(shù)據(jù)存儲的完整性，并定義了可靠的機制，保證數(shù)據(jù)在意外掉電的情況下能夠可靠恢復(fù)。 3 開發(fā)實現(xiàn) 本設(shè)計使用Keil uVision4作為開發(fā)平臺，所有的程序開發(fā)都在平臺上完成。選擇8052單片機芯片，使用C語言作為開發(fā)語言，選擇TMC程序仿真器對程序進行仿真測試，可以通過Keil uVision4的仿真