Meihua Xiao - Publications, H-index & Citations

Meihua Xiao

East China Jiaotong University

8H指数

51论文数

194被引数

收录论文 9

发表时间

Formal Analysis of EAP-TLS Protocol Based on Logic of Events 基于事件逻辑的EAP-TLS协议形式化分析

SYMMETRY-BASEL

IF2.2

2025-09-04

OAAI

Xiao, Meihua; Cheng, Weili; Fan, Hongming; Shao, Huaibin; Li, Zehuan; Zhong, Yingqiang

A novel symbolic model for analyzing Internet of Things protocols based on event logic 基于事件逻辑的物联网协议分析的一种新型符号模型

COMPUTERS & SECURITY

IF5.4

2025-07-01

OAAI

Li, Zehuan; Xiao, Meihua; Xu, Yangping; Chen, Fangping; Shao, Huaibin; Yan, Sufen

Single-view 3D reconstruction via dual attention

PEERJ COMPUTER SCIENCE

IF2.5

2024-10-22

OAAI

Li, Chenghuan; Xiao, Meihua; Li, Zehuan; Chen, Fangping; Wang, Dingli

Formal analysis of signal protocol based on logic of events theory

SCIENTIFIC REPORTS

IF3.9

2024-09-04

OAAI

Li, Zehuan; Xiao, Meihua; Xu, Ruihan

A formal analysis method for composition protocol based on model checking

SCIENTIFIC REPORTS

IF3.9

2022-05-19

OAAI

Xiao, Meihua; Zhao, Hanyu; Yang, Ke; Ri Ouyang; Song, Weiwei

Proving authentication property of PUF-based mutual authentication protocol based on logic of events

SOFT COMPUTING

IF2.5

2021-11-12

OAAI

Song, Jiawen; Xiao, Meihua; Zhang, Tong; Zhou, Haoyang

An efficient cutting scheme for a section view of the large-scale infrastructure models

COMPUTER-AIDED CIVIL AND INFRASTRUCTURE ENGINEERING

IF9.1

2021-06-28

PREAI

Luo, Guoliang; Wang, Rui; Xiao, Meihua; Yang, Hui; Xiao, Qian; Zeng, Jiangyou; Liao, Chenghui

LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols Loet-e: 一种用于证明密码协议安全性的改进理论

IEEE ACCESS

IF3.6

2019-01-01

OAAI

Song, Jiawen; Xiao, Meihua; Yang, Ke; Wang, Xizhong; Zhong, Xiaomei

Proving Mutual Authentication Property of KerNeeS Protocol Based on Logic of Events

IEEE ACCESS

IF3.6

2018-01-01

OAAI

Yang, Ke; Xiao, Meihua; Song, Jiawen; Chen, Jia; Zhong, Xiaomei; Wang, Xizhong

研究方向