肖美华 博士
虚拟现实与交互技术研究院研究员
华东交通大学软件学院院长
邮件地址：xiaomh@ecjtu.edu.cn
1. 简介
肖美华，男，1967年1月出生，二级教授，博士生导师，康奈尔大学、休斯顿大学访问学者，中国科学院软件所博士，先锋软件博士后，从事计算机科学与技术研究。
先后入选江西省主要学科学术与技术带头人支持计划(2017年)、江西省百千万人才工程(2014年)、江西高校学科带头人(2011年)、江西省高校骨干教师(2008年)、华东交通大学软件工程学科带头人(2012年)。主持国家自然科学基金、中国博士后科学基金面上资助项目、计算机软件新技术国家重点实验室开放课题、江西省自然科学基金、江西省高校科技落地计划项目、江西省科技攻关计划、江西省科技对外合作项目、江西省软科学科技项目、江西省教育厅科技计划项目 30 余项。获江西省高校科技成果二等奖 2 项、省级教学成果二等奖 1 项，获“全国计算机安全学术会议”优秀论文奖。发表论文 50 余篇，SCI、CSSCI、EI 收录 30 余篇，发明专利1项，软件著作权3项。
2. 研究方向简介
结合国家信息安全重大需求，在安全协议形式化分析与设计、软件形式化开发、认证授权和数字证书技术等领域取得了创新性成果。
研究方向：（1）网络信息安全，（2）软件形式化开发。
3. 代表性论文／著作
［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收录
责任编辑：樊云竹
