肖美華(華東交通大學軟體學院院長兼虛擬現實(VR)產業學院院長)

肖美華，男，博士，二級教授，博士生導師，康奈爾大學、休斯頓大學訪問學者，中國科學院軟體所博士，先鋒軟體博士後，從事計算機科學與技術研究。現任華東交通大學軟體學院院長兼虛擬現實（VR）產業學院院長。

人物經歷

現任華東交通大學軟體學院院長兼虛擬現實（VR）產業學院院長。

研究方向

結合國家信息安全重大需求，在安全協定形式化分析與設計、軟體形式化開發、認證授權和數字證書技術等領域取得了創新性成果。

研究方向：（1）網路信息安全，（2）軟體形式化開發。

※形式化方法

※網路安全

主要成就

作為主持人，承擔或完成國家自然科學基金、中國博士後科學基金、教育部留學回國人員科研啟動基金、計算機軟體新技術國家重點實驗室開放課題、江西省自然科學基金、江西省科技攻關計畫、江西省高校科技落地計畫、江西省教育廳科技計畫20餘項；通過省級鑑定項目8項，獲江西省科技進步獎三等獎（第一完成人）、中國鐵道學會科學技術獎勵三等獎（第二完成人）、江西省高校科技成果二等獎（第一完成人）、江西省教學成果二等獎（第一完成人）；以第一作者在國內外計算機學術刊物、國際會議上發表論文70餘篇，SCI、EI收錄40餘篇。發明專利8項、軟體著作權17項，專著1部。

科研成果

※主持完成或在研國家自然科學基金3項

※主持完成江西省主要學科學術和技術帶頭人資助計畫1項

※主持完成或在研江西省自然科學基金2項

※網路信息安全自動分析與評測關鍵技術及套用，獲2021年江西省科技進步獎三等獎，排名第一

※和諧電力機車乘務員行車知識與應急技能VR實訓系統，獲2023年中國鐵道學會科學技術獎三等獎，排名第二

※基於事件邏輯的WMN客戶端與LTCA認證協定安全性分析，獲2018年全國理論計算機科學學術年會最佳論文一等獎，排名第一

※網路安全協定的形式化分析，獲2021年Delivering The Keynote Speech in ICSSES & ICEITCS 2021,Yaseen Academy，雅森學術會議一等獎，排名第一

※網路安全協定的模型檢測分析及其支撐系統開發，獲2013年江西省高等學校科技成果獎二等獎，排名第一

※網路安全認證協定形式化分析，獲第20次全國計算機安全學術年會優秀論文，排名第一

※基於模型檢測技術的網路安全協定形式化分析與研究，獲2009年江西省計算機學會優秀學術論文二等獎，排名第一

※江西省“軟體工程”省級教學團隊負責人，2022年

※江西省“軟體工程與網路空間安全”省級實驗示範中心主任，2022年

獲獎記錄

※江西省“雙千計畫”科技創新培養類高端人才

※江西省主要學科學術和技術帶頭人

※江西省百千萬人才工程人選

※江西省高校中青年學科帶頭人

※江西省高校中青年骨幹教師人才

※科技部創新人才推進計畫重點領域創新團隊核心成員

※華東交通大學“軟體工程”學科帶頭人

※華東交通大學“天佑人才計畫”天佑優秀人才

社會任職

康奈爾大學、休斯頓大學訪問學者，先後入選江西省“雙千計畫”科技創新培養類高端人才項目、江西省主要學科學術與技術帶頭人、江西省百千萬人才工程、江西省高校中青年學科帶頭人、江西省高校中青年骨幹教師人才計畫；入選科技部創新人才推進計畫重點領域創新團隊核心成員，華東交通大學“軟體工程”學科帶頭人，華東交通大學“天佑人才計畫”天佑優秀人才；國際會議IFTG07 擔任Session Chair，國際會議FAW、SNPC、WISM-AICI程式委員會委員，IEEE Trans. on ITS、IEEE Access、國內期刊JCST、軟體學報、計算機學報、計算機研究與發展等評審專家。

人才培養

※編寫出版《安全協定形式化分析與驗證》專著一部

※已培養博士生、碩士生40餘名，5名碩士生獲江西省優秀碩士學位論文。軟體工程、VR等新興交叉學科，已列為學校“十四五”學科特區著力進行建設。

代表論文

［1］Yu Ding, Yuting Zhang, Meihua Xiao, and Zhigang Deng, “A Multifaceted Study on Eye Contact based Speaker Identification in Three-party Conversations,”Proceeding ofACM SIGCHI Conference on Human Factors in Computing Systems (CHI) 2017, Denver, CO, May 6-11, 2017. 11 pages. pp. 3011-3021.

［2］肖美華，程道磊，李偉，Formal Analysis and Verification of OAuth2.0 Protocol Improved by Key Cryptosystems，電子學報(英文版)，2017，26(3):138-146， SCI收錄

［3］肖美華，馬成林，鄧春艷，朱科，A Novel Approach to Automatic Security Protocol Analysis Based on Authentication Event Logic，電子學報(英文版)，2015，24(2):235-241， SCI收錄

［4］肖美華，江耘，劉俏威，On Formal Analysis of Cryptographic Protocols and Supporting Tool, 電子學報(英文版)，2010，19(2):223-228， SCI收錄

［5］肖美華，薛錦雲，Formal Analysis of Cryptographic Protocols in Knowledge Algorithm Logic Framework ，電子學報(英文版)，2007，16(4): 701-706，SCI收錄

［6］肖美華，薛錦雲, Modeling and Verifying Cryptographic Protocols Using SPIN/Promela, International Journal of Computer and Information Science,2006,6(1):1-12, SCI收錄

［7］肖美華，萬子龍，The Formal Verification and Improvement of Simplified Set Protocol Journal of Software ，2014，9(9):2302-2308，EI收錄

［8］肖美華，譚傑，莊力可，The Research and Implementation of an Electronic Seal System Based on CAPICOM，Advanced Materials Research，2013,734-737:3228-3233，EI收錄

［9］肖美華，劉欣倩，李婭楠,，程道雷，梅映天，基於強認證理論的三方網路協定安全性證明, 計算機科學與探索, 2016(12) :1701-1710, CSCD收錄

[10] 肖美華，朱科，馬成林,，基於SPIN的Andrew Secure RPC協定並行攻擊模型檢測, 計算機科學, 2015,42(7):103-107, CSCD收錄