人员
 
当前位置:首页  人员  校内双聘  肖美华
肖美华


肖美华 博士


虚拟现实与交互技术研究院双聘研究员

华东交通大学软件学院教授

邮件地址:xiaomh@ecjtu.edu.cn


   
   

1. 简介

肖美华,男,19671月出生,二级教授,博士生导师,康奈尔大学、休斯顿大学访问学者,中国科学院软件所博士,先锋软件博士后,从事计算机科学与技术研究。

先后入选江西省主要学科学术与技术带头人支持计划(2017)、江西省百千万人才工程(2014)、江西高校学科带头人(2011)、江西省高校骨干教师(2008)、华东交通大学软件工程学科带头人(2012)。主持国家自然科学基金、中国博士后科学基金面上资助项目、计算机软件新技术国家重点实验室开放课题、江西省自然科学基金、江西省高校科技落地计划项目、江西省科技攻关计划、江西省科技对外合作项目、江西省软科学科技项目、江西省教育厅科技计划项目 30 余项。获江西省高校科技成果二等奖 2 项、省级教学成果二等奖 1 项,获“全国计算机安全学术会议”优秀论文奖。发表论文 50 余篇,SCICSSCIEI 收录 30 余篇,发明专利1项,软件著作权3项。

  

2. 研究方向简介

结合国家信息安全重大需求,在安全协议形式化分析与设计、软件形式化开发、认证授权和数字证书技术等领域取得了创新性成果。

研究方向:(1)网络信息安全,(2)软件形式化开发。

  

3.  代表性论文/著作

1Yu 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,电子学报(英文版)201726(3):138-146 SCI收录

3]肖美华,马成林,邓春艳,朱科,A Novel Approach to Automatic Security Protocol Analysis Based on Authentication Event Logic,电子学报(英文版)201524(2):235-241 SCI收录

4]肖美华,江耘,刘俏威,On Formal Analysis of Cryptographic Protocols and Supporting Tool, 电子学报(英文版)201019(2):223-228 SCI收录

5]肖美华,薛锦云,Formal Analysis of Cryptographic Protocols in Knowledge Algorithm Logic Framework ,电子学报(英文版)200716(4): 701-706SCI收录

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 20149(9):2302-2308EI收录

8]肖美华,谭杰,庄力可,The Research and Implementation of an Electronic Seal System Based on CAPICOMAdvanced Materials Research2013,734-737:3228-3233EI收录

9肖美华刘欣倩李娅楠,程道雷梅映天,基于强认证理论的三方网络协议安全性证明计算机科学与探索, 2016(12) :1701-1710, CSCD收录

 [10] 肖美华朱科马成林,,基于SPINAndrew Secure RPC协议并行攻击模型检测计算机科学, 2015,42(7):103-107, CSCD收录


                                             责任编辑:樊云竹