智能家居門禁系統的安全控制方法

胡向東,唐 飛

(重慶郵電大學 自動化學院, 重慶 400065)

智能家居門禁系統的安全控制方法

胡向東,唐 飛

(重慶郵電大學 自動化學院, 重慶 400065)

新興的物聯網技術為綜合性智能家居測控系統的構建準備了條件，門禁系統作為智能家居的核心子系統之一，其安全控制的實現有助于提升智能家居的性能和用戶體驗。針對現有門禁系統存在的控制安全問題，提出了基于持卡人、門禁卡、讀卡器三結合的認證機制、保密通信機制和時間戳機制的智能家居門禁系統安全控制方法，建立了近程刷卡控制和智能終端遠程控制2種方式，實現對門禁系統通信數據的機密性和完整性保護，并阻止門禁控制指令被截取和濫用，構建了相應的物理仿真系統。測試結果表明，基于物聯網技術的智能家居門禁系統在提升使用方便性的同時，所蘊含的安全控制方法有助于增強智能家居門禁系統控制的安全，驗證了所提出方案的有效性和實用性。

智能家居；門禁系統；控制；安全

0 引 言

門禁系統作為保障家居安全的第一道屏障，是智能家居的重要組成部分[1]?；谖锫摼W技術的智能家居在提升家居系統測控功能使用方便性的同時，為智能家居門禁系統的智能化實現準備了條件。門禁系統的基本功能在于保護智能家居室內人員與財物的安全，防止非授權的侵入，這依賴于門禁系統本身的控制是否安全可靠[2-3]。

現有的門禁卡大多采用恩智浦公司生產的Mifare1卡，簡稱M1卡[4]，該卡采用流密碼加密算法，通過生成偽隨機數及其加密傳輸鑒別來實現卡和讀卡器的相互認證[5]。2008年德國和美國科學家成功破解了M1卡的安全算法，掌握破解方法的黑客將嚴重威脅到M1卡用戶的使用安全[6]。尋找更加安全可靠的替代方案迫在眉睫。

現階段，門禁系統主要有PIN碼式門禁系統、射頻卡門禁系統、指紋門禁系統等類型[7-8]，其中，射頻卡門禁系統智能化程度較高、成本適中，使用范圍最廣?，F有門禁系統還存在以下不足：①種類較多，但是功能較單一，沒有對持卡人、讀卡器和門禁卡的三結合認證機制，存在門禁卡丟失被冒用的風險[9]；②大多基于明文形式的射頻通信，存在傳輸的門控指令容易被截取后偽造門禁卡和重放攻擊等風險；③目前普遍使用的M1卡存在被破解的風險，門禁控制功能的安全性得不到保障[10]；④難以應對拒絕服務等攻擊；⑤很少能支持對門控狀態的遠程實時監控[11]。

智能家居門禁系統與普通門禁系統相比，其優勢主要表現為信息化和智能化水平更高，能夠取得更強的控制安全性、使用靈活性和功能多樣性[12]。用戶可以通過智能手機、iPad等多種智能終端遠程登陸智能家居服務器查詢門禁信息，遠程控制門禁的開關；智能家居門禁系統引入保密通信和認證機制，從而提升系統的安全性。

1 安全控制方案的構建

1.1 安全門禁系統的總體方案

為了確保門禁系統的控制安全，本文基于4種安全機制：①采用持卡人、門禁卡、讀卡器三結合的認證機制，阻止因卡丟失而冒充持卡人，或偽造門禁卡或讀卡器的情形；②通過門禁管理軟件和APP設置基于用戶名和密碼的系統訪問控制權限；③對智能終端發送的控制指令和系統通信數據均通過高級加密算法(advanced encryption standard，AES)進行加密保護，確保通信鏈路安全；④引入時間戳機制，防止攻擊者截獲門控指令進而對門禁讀卡器實施重放攻擊。

本文構建的智能家居門禁系統涉及遠程通信和近程通信2種方式。遠程通信是用戶通過智能終端上安裝的APP軟件遠程非接觸式地向門禁系統發送控制指令；近程通信是用戶面向門禁系統接觸式地通過鍵盤輸入PIN碼，確認用戶身份后再刷卡開門，規避因卡遺失產生的風險，即使非授權方獲得門禁卡卻因不知曉PIN碼而仍無法開門，這種雙重保護機制有助于門禁系統控制安全的進一步增強。2種工作模式根據需要靈活選用。智能家居安全門禁系統的工作流程如圖1所示。

圖1 智能家居門禁系統工作流程Fig.1 Workflow of entrance guard system in smart home

1.2 智能家居門禁系統的組成

智能家居門禁系統的遠程通信或近程通信的保密實現均基于AES-128的CCM安全模式，確保通信鏈路的安全。智能家居服務器內置門禁服務器，基于物聯網技術的智能家居門禁系統的組成如圖2所示。值得指出的是，這里的協調器和路由器不僅用于門禁系統，還為智能家居的其他子系統提供服務。

用戶可以選擇通過刷卡(即近程控制)或智能手機等終端發送控制指令(即遠程控制)2種方式打開門鎖。采用刷卡方式時，需要通過持卡人、門禁卡和讀卡器的三結合認證，認證通過后，門禁控制器打開門鎖，并向門禁服務器反饋結果以生成開門記錄；采用智能終端方式時，智能終端向門禁服務器發送開門指令，門禁服務器獲得開門指令后對其進行解密和指令解析處理，判斷指令格式是否合規，并對合規的指令基于時間戳服務判定指令是否屬于重放攻擊，全部驗證均通過后，門禁服務器向門禁控制器下發開門指令，執行指令動作后，門禁控制器將執行結果向門禁服務器反饋，門禁服務器生成開門記錄，并將執行結果反饋給智能終端。不成功的開門指令都將觸發門禁控制器向報警器發出報警指令。

圖2 智能家居門禁系統的組成Fig.2 Composition of entrance guard system in smart home

為避免M1卡被破解的類似結果，本文采用支持AES分組加密算法的非接觸式CPU卡作為門禁卡，讀卡器中內嵌終端安全認證模塊(purchase secure access module，PSAM)，PSAM卡可以確保讀卡器和門禁卡的合法性認證，為系統提供安全控制管理和數據加密保護功能。AES分組加密算法具有加密速度快、功耗低、安全等級高等特點，CPU卡內置芯片操作系統(chip operating system，COS)，使門禁系統的安全性得以提高。

1.3 認證流程

本文提出持卡人、門禁卡(CPU卡)、讀卡器(PSAM卡)三結合的認證機制。刷卡前，用戶需要在鍵盤上輸入PIN碼，和PSAM卡中存儲的PIN碼比較，以此驗證持卡人的合法性；PSAM卡與讀卡器綁定在一起，可以分發和存儲密鑰，讀卡器芯片本身不具有計算能力，CPU卡和讀卡器相互認證過程中所有計算都由PSAM卡和CPU卡完成，這樣可以應對針對讀卡器的惡意攻擊。同一個智能家居門禁系統中CPU卡和PSAM卡使用的密鑰相同，可以通過發卡軟件定期更換密鑰。CPU卡對讀卡器的認證為外部認證；讀卡器對CPU卡的認證為內部認證。

外部認證流程如圖3所示，其認證過程如下。

1)刷卡時，讀卡器向CPU卡發送取隨機數命令，CPU卡生成隨機數rand1，發送給讀卡器的同時，CPU卡內保存這個隨機數，讀卡器將rand1轉發給PSAM卡，PSAM卡利用外部認證密鑰加密隨機數，計算外部認證碼R1，R1=AES(rand1,KeyB)。

2)PSAM卡將外部認證碼發送給讀卡器，讀卡器轉發給CPU卡，CPU卡計算外部認證碼R1′，R1′=AES(rand1,KeyA)。

3)CPU卡比較R1′和R1，如果相等，則證明CPU卡和PSAM卡使用的密鑰相同，即KeyA=KeyB，證明CPU卡和PSAM卡屬于同一門禁系統，外部認證成功；否則，外部認證失敗。

圖3 外部認證流程Fig.3 External authentication process

內部認證與外部認證類似，內部認證流程圖如圖4所示，其認證過程如下。

圖4 內部認證流程Fig.4 Internal authentication process

1)PSAM卡生成隨機數rand2，將rand2發送給讀卡器，并且PSAM卡內保存這個隨機數，讀卡器將rand2轉發給CPU卡，CPU卡利用內部認證密鑰加密隨機數rand2，CPU卡計算內部認證碼R2，R2=AES(rand2,KeyA)。

2)CPU卡將內部認證碼R2發送給讀卡器，讀卡器將R2轉發給PSAM卡，PSAM卡計算內部認證碼R2′，R2′=AES(rand2,KeyB)。

3)PSAM卡比較R2′和R2，如果相等，則證明CPU卡和PSAM卡有相同的密鑰KeyA=KeyB，兩者屬于同一門禁系統，內部認證成功；否則，內部認證失敗。

1.4 加密機制的布署

基于ISO14443TypeA 協議設計CPU門禁卡的數據或控制指令讀取程序，實現刷卡開門的功能。分析ZigBee協議棧，研究Z-Stack協議棧的運行機制，將門禁功能程序嵌入到Z-Stack協議棧中，在協議棧中實現對傳輸網絡通信數據的加密。

Z-Stack的執行是通過輪詢機制來實現的，輪詢機制在操作系統抽象層(operating system abstraction layer，OSAL)的管理下進行，OSAL的功能類似于一個操作系統。要把門禁功能程序嵌入到Z-Stack協議棧中，本文將門禁功能作為協議棧中自定義的一個事件來處理。

門禁系統的安全包括前端訪問安全和網絡傳輸過程數據安全2個部分。前端主要負責讀卡器和門禁卡之間的認證交互；網絡傳輸過程主要實現協調器、路由器、服務器、網關和智能終端之間通信數據的加密。前端是在ISO14443TypeA協議棧中采用AES加密算法加密；網絡傳輸過程中采用AES-128 CCM模式加密?；贑C2530節點和標簽運算能力有限的特點，本文采用128位密鑰10輪迭代的方案。AES的加密、解密算法調用函數如下。

void Encrypt(unsigned char *ctx, unsigned char S_BOX[][16] )

{

ctx->mode=ENCRYPT;

Setkey(ctx->sk,key);

}

void Decrypt(unsigned char *ctx, unsigned char N_S_BOX[][16] )

{

ctx->mode=DECRYPT;

Setkey(ctx->sk,key);

}

2 系統實現與性能評估

2.1 門禁管理軟件的實現

所構建的門禁系統主要由門禁卡、控制系統和管理系統組成。管理系統包括服務器、客戶端、數據庫3部分，負責持卡人的授權、分發密鑰、對控制系統下發控制指令、人員進出管理、記錄查詢等；控制系統由控制器、電鎖、讀卡器等組成。

為了提高門禁管理軟件的美觀性和工作實時性，本文采用Qt4.7開發門禁管理軟件，它是一個可以跨平臺的C++圖形用戶界面應用程序框架，完全面向對象，擴展性好；數據庫采用SQL Server 2008。數據庫訪問采用具有占用內存少、訪問速度快、操作方便等特點的活動數據對象(active data object,ADO)技術。實現的智能家居安全門禁系統管理界面如圖5所示。

圖5 門禁系統管理界面Fig.5 Form of management for entrance guard system

用戶可以通過門禁管理軟件添加用戶卡、設置卡的權限、注冊或掛失卡、通過連接數據庫查詢門禁進出記錄，系統可以生成統計報表并直接導出到Excel中，支持在線打印等功能。

2.2 遠程控制及指令加密的實現

智能手機、iPad等智能終端的普及推廣為門禁系統的智能化和遠程控制提供了方便。本文基于EclipseV22.3.0集成開發環境和Android 4.0開發平臺開發了一款門禁管理APP軟件，涉及Socket(套接字)通信協議和AES密碼算法，如圖6所示。該APP軟件主要負責控制指令的加、解密，下發控制指令，完成指令動作后接收門禁服務器的反饋并顯示于智能終端。

APP發送門禁開門和關門的指令如下。

門禁開：0xEF,0xC1,0x03,0x01,0xC5,0xFE；

門禁關：0xEF,0xC1,0x03,0x00,0xC4,0xFE；

其中，0xEF與0xFE為校驗位，0xC1為設備序號，0x03為門禁節點序號，0x01為打開，0x00為關閉，0xC4和0xC5為校驗和。開門、關門的指令、密鑰和密文如表1所示。

圖6 智能門禁系統APPFig.6 APP of smart entrance guard system

指令明文密鑰密文開門EFC10301C5FE2b7e151628aed2a6abf7158809cf4f3c5f8a996bc066ba3f8ac3f73ef947ca48關門EFC10300C4FE2b7e151628aed2a6abf7158809cf4f3cbaf77e10b0459447e5f7ed9d56093f45

為了驗證指令傳輸過程中的AES加解密效果，使用Modelsim SE10.1a對開門指令的AES加密解密效果進行了驗證，本文采用Verilog HDL硬件語言實現AES算法，明文、密文、密鑰均是128位，迭代輪數為10。測試選用表2所列明文和密鑰；AES的加密和解密仿真過程如圖7和圖8所示。

2.3 時間戳的實現

門禁系統面臨的最常見攻擊手段就是開門指令的截取和重放，雖然加密有助于阻止通信內容及數據格式被獲取，但不能阻止重放攻擊[13]，為此引入時間戳機制。

時間戳機制引入指令時間參數，以此標識指令的發出時間，正常用戶發出門控指令的時間總是不同的；時間戳機制有助于防止該指令被不法分子再次冒用。例如把控制指令記為x，用戶發送控制指令的時間記為t。時間戳機制的工作過程為 門禁服務器接收用戶發來的加密控制指令c=Ek(x,t)對其進行解密，其中，E代表AES加密算法，k是加密密鑰，獲得用戶控制指令及其發送時間(x,t)將其存檔，然后進行重放攻擊判斷，如果通過，則根據指令要求向門禁控制器發送相應的動作指令；為避免存檔數據量過大，每一條記錄只保留48小時；這里的密鑰k為用戶和系統所共享，兼具身份認證的功能。

圖7 開門指令AES加密結果Fig.7 AES encryption result of open door instruction

圖8 開門指令AES解密結果Fig.8 AES decryption result of open door instruction

重放攻擊的判斷：攻擊者實施重放攻擊時，將截獲的用戶加密控制指令c=Ek(x,t)再次發送給門禁服務器，其無法修改t的內容；門禁服務器解密獲得的用戶控制指令及其發送時間是(x,t)。首先判斷t時間是否超前當前時間48 h，如果未超過，則在系統存檔中檢索是否存在(x,t)記錄，如果不存在，則認為是新指令，這兩項驗證中只要有一項未通過，則認定為重放攻擊；門禁服務器生成重放攻擊記錄，并通過門禁控制器指示報警器給予報警響應。

該時間戳方案不需要客戶端與門禁服務器端有嚴格的時間同步，只要二者的時間相差不超過48 h(這個條件通常情況下都能滿足，因為任何系統與標準時間一般不會相差24 h，在極端情況下，用戶端和門禁服務器端的時間相差也不會超過48 h)，就能保證系統的正常運行；如果用戶端出現特殊情況，則必須修正用戶端系統時間才能保證門禁系統的正常使用。重放攻擊驗證記錄如圖9所示。

圖9 重放攻擊驗證記錄Fig.9 Recorder of replay attack test

基于本文的時間戳機制分析，圖9中第1條指令為合法指令；第2、第3、第4條指令被判定為黑客截獲第1條指令后的重復發送，因為指令加密規避了指令發送時間t被修改的可能，系統能檢索出時間t的指令記錄，故被判斷為重放攻擊；圖9中的其他記錄遵循相同的判定規則得出。

2.4 加密機制對系統時延的影響

本文測試了采用AES加密算法和未使用加密算法2種情形下從智能手機發送控制指令到打開門鎖的時間間隔，試驗中手機每隔5 s發送一個控制指令，加密和未加密各測試100次。有加密時，智能手機發送指令的時間可以通過Eclipse自帶的LogCat日志查詢，時間記為S[i]，電鎖打開的時間可以通過門禁管理軟件查詢，時間記為R[i]，則從智能手機發送指令到電控鎖打開的時間間隔記為T[i]。

T[i]=R[i]-S[i]

(1)

(1)式中，T[i]表示針對第i個指令加密后的時間延遲；同理，未加密時指令傳輸時間延遲t[i]為

t[i]=r[i]-s[i]

(2)

(2)式中，s[i]，r[i]分別是未加密時智能手機發送控制指令的時間和電鎖打開的時間。仿真測試得到的100組加密和未加密的網絡延時如圖10所示。

圖10 加密和未加密的網絡延時Fig.10 Network delay of encryption and unencryption

系統的整體延時率可表式為

(3)

(3)式中，m代表測試次數。通過計算可知，本測試的平均延時率δ=4.59%，可見，因加密機制的運用而導致的系統平均延時率是可接受的，所以，系統防御外部攻擊風險的能力卻得以大大提高。

為了分析引入加密機制后，對刷卡開門和APP遠程開門2種方式網絡延遲的影響，總共測試了100組數據，APP遠程控制的網絡延遲可以通過公式T[i]=R[i]-S[i]計算，其中，T[i]表示從智能手機發送控制指令到電鎖打開的時間間隔；R[i]表示電鎖打開的時間；S[i]表示智能手機發送指令的時間；刷卡開門的網絡延遲可以通過T′[i]=R′[i]-S′[i]計算，其中，T′[i]表示從刷卡到電鎖打開的時間間隔；R′[i]表示電鎖打開的時間，可以通過門禁管理軟件讀??；S′[i]表示刷卡的時間，刷卡時間可以從液晶顯示屏讀取，本文采用帶自動校準功能的高精度實時時鐘芯片AT8372A保證系統時間的同步與準確性。

圖11是針對APP遠程開門和刷卡近程開門2種方式在引入加密機制前后的網絡延時仿真對比結果。由圖11可見，2種開門方式的加密傳輸均比非加密傳輸有延時上的增加，這是由于系統在對控制指令進行AES加密處理時有時間上的消耗；另一方面，APP遠程開門方式比刷卡近程開門方式延時更大，這是因為APP遠程開門方式涉及GPRS或WIFI網絡傳輸時延。

圖11 遠程或近程控制時延Fig.11 Delay of remote control or card control

3 結 論

物聯網技術為智能家居系統的構建提供了方便和多種可能性，智能門禁系統豐富了智能家居的構成和使用靈活性。本文為智能家居門禁系統建立了刷卡和APP智能終端2種門禁控制方式，并引入持卡人、門禁卡與讀卡器三結合的認證機制、保密通信機制和時間戳機制，能有效實現對通信鏈路的保護，并阻止對門禁系統的重放攻擊，有助于提升門禁系統本身控制的安全性。實驗測試結果驗證了該門禁系統方案具有較高的安全性和低時延特性，實用性強。

[1] 胡向東, 韓愷敏, 許宏如. 智能家居物聯網的安全性設計與驗證[J]. 重慶郵電大學學報：自然科學版, 2014, 26(2):171-176. HU Xiangdong, HAN Kaimin, XU Hongru. Design and implementation of security-focused intelligent household Internet of things[J]. Journal of Chongqing University of Posts and Telecommunications: Natural science edition, 2014, 26(2):171-176.

[2] 燕麗紅,王飛飛,楊星.基于AT89S52的智能家居門禁系統的設計[J].電子設計工程,2013,21(22):137-140. YAN Lihong, WANG Feifei, YANG Xing. Design of the smart gate-ban home system based on AT89S52[J]. Electronic Design Engineering,2013,21(22):137-140.

[3] 文燕, 齊蕾. 一種基于國密算法 CPU卡的門禁系統方案的設計[J]. 電子設計工程, 2012, 20(3): 82-84. WEN Yan, QI Lei .An access control system based on State Secret code algorithm and CPU card[J].Electronic Design Engineering,2012,20(3):82-84.

[4] 佟秋利, 張慧琳, 孫國光. 基于CPU 卡的大學門禁應用設計實施方案[J]. 計算機工程與設計, 2011, 32(4): 1453-1457. TONG Qiuli, ZHANG Huilin, SUN Guoguang. Design and execution of access control system of university based on CPU card[J].Computer Engineering and Design, 2011,32(4):1453-1457.

[5] 陳錦, 譚思云, 姜濤. 基于射頻識別的小區門禁系統設計[J].儀表技術, 2010 (5): 16-18. CHEN Jin, TAN Siyun, JIANG Tao. Design of a District Access Control System Based on RFID[J]. Instrument Technique, 2010(5):16-18.

[6] 程振, 劉年生, 李琳, 等. 一種適用于 RFID讀寫器的加密算法及其實現[J]. 信息與電子工程, 2009, 7(4): 349-353. CHENG Zhen, NIU Niansheng, LI Lin, et al. Encryption algorithm for RFID reader and its implementation[J]. Information and Electronic Engineering, 2009,7(4):349-353.

[7] JI Yuchu, XU Zhao, FENG Qinzhu, et al. Concurrent collision probability of RFID tags in underground mine personnel position systems[J]. Mining Science and Technology (China), 2010, 20(5): 734-737.

[8] 林海燕，彭井花，陸生貴，等.智能社區安防系統的設計與實現[J].重慶理工大學學報：自然科學版，2014(7)：102-104. LIN Haiyan, PENG Jinghua, LU Shenggui, et al. Design and Implementation of Intelligent Community Security System[J]. Journal of Chongqing University of Fechnology:Natural Science, 2014(7): 102-104.

[9] YAO Q, HAN J, QI Y, et al. Privacy leakage in access mode: revisiting private RFID Authentication protocols[C]// Parallel Processing (ICPP), 2011 International Conference on. Taipei：IEEE, 2011: 713-721.

[10] 閆永昭, 鄭金州. 基于國密SM1 算法的CPU 卡應用[J]. 現代電子技術, 2013, 36(15): 82-83. YAN Yongzhao, ZHENG Jinzhou. Application of CPU card based on SM1 cryptographic algorithm[J].Modern Electronics Technique,2013,36(15):82-83.

[11] 張錦榮, 陳岳林. 基于 GSM的遠程控制門禁系統的研究[J].微計算機信息, 2008, 24(35): 154-156. ZHANG Jinrong,CHEN Yuelin.Research of Gate-ban Remote Control System Based on Embedded System and GSM[J].Micro Computer Information,2008,24(35):154-156.

[12] 劉金偉, 黃樟欽, 侯義斌, 等. 校園 CPU卡密鑰管理系統的設計與實現[J].信息安全與通信保密, 2006 (10): 51-54. LIU Jinwei, HUANG Zhangqin,HOU Yibin, et al. Design and implementaion of Key Management System of Campus CPU Card System[J].Information Security And Communication Security,2006(10):51-54.

[13] 潘新春,金文光,周冬鑫.基于虛擬時間戳的WSN時間同步算法[J].計算機工程與應用,2009,45(29):87-90. PAN Xinchun,JIN Wenguang,ZHOU Dongxin.On virtual timestamp synchronization protocol for wireless sensor network.Computer Engineering Application,2009,45(29):87-90.

胡向東(1971-)，男，教授，博士，主要研究方向為網絡化測控及網絡空間安全、復雜系統建模仿真與優化。E-mail:huxd@cqupt.edu.cn。

唐 飛(1990-)，男，碩士研究生，主要研究方向為物聯網安全。E-mail:1207929576@qq.com。

(編輯：劉 勇)

Secure control methods of the entrance guard system for smart home

HU Xiangdong, TANG Fei

(College of Automation, Chongqing University of Posts and Telecommunications, Chongqing 400065, P.R.China)

The emerging internet of things technology prepares conditions for building a comprehensive smart home, and the entrance guard system is one of the core subsystem of smart home, whose implementation in safety control helps improve the performance of smart home and user experience. Aiming at the secure control problem of the existing entrance guard system, one secure control method of entrance guard system for smart home is proposed, which is based on such mechanisms as authentication among cardholder, entrance card and card reader, secret communication and timestamp. The paper also established two ways including short-range charge control and intelligent terminal remote control, so as to realize the confidentiality and integrity protection of communication data of the entrance guard system, and prevent control instructions from being intercepted and abused, and the corresponding physical simulation system is also set up. The test result shows that the entrance guard system of smart home based on the internet of things technology improves convenience in use, at the same time, the in-built secure control methods are helpful to strengthen the security of control of entrance guard system in smart home, thus prove the effectiveness and practicability of the proposed scheme.

smart home; entrance guard system; control; security

10.3979/j.issn.1673-825X.2016.06.019

2016-01-15

2016-04-20

胡向東 huxd@cqupt.edu.cn

國家自然科學基金(61170219)；教育部-中國移動聯合研究基金(MCM20150202)；重慶市基礎與前沿研究計劃(cstc jcyjA40002)

Foundation Items：The National Natural Science Foundation of China(61170219); The Joint Research Foundation of the Ministry of Educatio of the People’s Republic of China and China Mobile(MCM20150202); The Basic and Frontier Research Project(cstc jcyjA40002)

TP273

A

1673-825X(2016)06-0863-07