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

肖美华 博士



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

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

邮件地址: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收录

                                                     责任编辑:樊云竹