Search Results - "Xiao, Meihua"

Formal analysis of signal protocol based on logic of events theory by Li, Zehuan, Xiao, Meihua, Xu, Ruihan

“…The Signal is an end-to-end encrypted communication protocol composed of a double ratchet (DR) protocol and an extended triple Diffie-Hellman (X3DH) protocol…”
Get full text

A formal analysis method for composition protocol based on model checking by Xiao, Meihua, Zhao, Hanyu, Yang, Ke, Ouyang, Ri, Song, Weiwei

“…Protocol security in a composition protocol environment has always been an open problem in the field of formal analysis and verification of security protocols…”
Get full text

Prognosis of colorectal cancer, prognostic index of immunogenic cell death associated genes in response to immunotherapy, and potential therapeutic effects of ferroptosis inducers by Lei, Mengjie, Xiao, Meihua, Long, Zhiqing, Lin, Taolin, Ding, Ran, Quan, Qi

“…This study leverages bioinformatics and medical big data to integrate datasets from the Gene Expression Omnibus (GEO) and The Cancer Genome Atlas (TCGA),…”
Get full text

Genetic analysis and QTLs identification of stigma traits in japonica rice (Oryza sativa L.) by Jiang, Jianhua, Xu, Lei, Xiao, Meihua, Hu, Changmin, Zhang, Ying, Wang, Dezheng, Dang, Xiaojing

“…Short stigma is one of the main reasons of low yield of F 1 hybrid seed production, especially in japonica rice. Genetics analysis and identifying favorable…”
Get full text

Formal Analysis of DTLS-SRTP Combined Protocol Based on Logic of Events by Xiao, Meihua, Zhong, Yizhou, Li, Zehuan, Chen, Fangping

“…Security analysis of composite protocols is a critical issue in the field of network security. In complex network environments, the traditional approach of…”
Get full text

Double-Color-Image Compression-Encryption Algorithm Based on Quaternion Multiple Parameter DFrAT and Feature Fusion with Preferable Restoration Quality by Xiao, Meihua, Tan, Ruixiao, Ye, Huosheng, Gong, Lihua, Zhu, Zhiliang

“…To achieve multiple color images encryption, a secure double-color-image encryption algorithm is designed based on the quaternion multiple parameter discrete…”
Get full text

A novel formal logic for formal analysis of timeliness in non-repudiation protocols by Yang, Ke, Xiao, Meihua, Zhong, Xiaomei, Zhong, Yingqiang

“…Non-repudiation protocols are aimed at exchanging digital messages and irrefutable receipts between two mistrusting parties over the Internet, which form the…”
Get full text

Single-view 3D reconstruction via dual attention by Li, Chenghuan, Xiao, Meihua, Li, Zehuan, Chen, Fangping, Wang, Dingli

“…Constructing global context information and local fine-grained information simultaneously is extremely important for single-view 3D reconstruction. In this…”
Get full text

Proving Mutual Authentication Property of RCIA Protocol in RFID Based on Logic of Events by ZHONG, Xiaomei, XIAO, Meihua, ZHANG, Tong, YANG, Ke, LUO, Yunxian

“…The increasing commercialization and massive deployment of radio frequency identification (RFID) systems has raised many security related issues which in…”
Get full text

Current advances of Carthamus tinctorius L.: a review of its application and molecular regulation of flavonoid biosynthesis by Zhihua Wu, Ruting Li, Meihao Sun, Xueli Hu, Meihua Xiao, Zunhong Hu, Peipei Jiao, Shoucheng Pu, Juntuan Zhai, Jiaqiang Zhang

“…Safflower is a valuable medicinal plant due to its diverse flavonoids, known as safflower yellow (SY) and safflower red (SR) pigments, which are popular in the…”
Get full text

LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols by Song, Jiawen, Xiao, Meihua, Yang, Ke, Wang, Xizhong, Zhong, Xiaomei

“…Nowadays, more and more new cryptographic protocols are emerging, and the security analysis of emerging cryptographic protocols is increasingly important. The…”
Get full text

A Novel Approach to Automatic Security Protocol Analysis Based on Authentication Event Logic by Xiao, Meihua, Ma, Chenglin, Deng, Chunyan, Zhu, Ke

“…Since security protocols form the cornerstones of modern secure networked systems, it is important to develop informative, accurate, and deployable approach…”
Get full text

Proving Mutual Authentication Property of KerNeeS Protocol Based on Logic of Events by Yang, Ke, Xiao, Meihua, Song, Jiawen, Chen, Jia, Zhong, Xiaomei, Wang, Xizhong

“…The near field communication (NFC) is widely used on mobile devices and make it possible to take advantage of NFC system to complete mobile payment. But with…”
Get full text

Formal Analysis and Verification of OAuth 2.0 Protocol Improved by Key Cryptosystems by Xiao, Meihua, Cheng, Daolei, Li, Wei, Li, Ya'nan, Liu, Xinqian, Mei, Yingtian

“…The reasons which take huge losses to enterprises and users are: Open authorization (OAuth) 2.0 protocol is excessively dependent on Hyper text transfer…”
Get full text

A Framework for Formal Analysis of Anonymous Communication Protocols by Yang, Ke, Xiao, Meihua

“…Anonymity is the property of keeping secret the identity of the user performing a certain action. The need for anonymity may arise in a wide range of…”
Get full text

Long non‑coding RNA ZFPM2‑AS1 promotes colorectal cancer progression by sponging miR‑137 to regulate TRIM24 by Xiao, Meihua, Liang, Zhi, Yin, Zhihui

“…Accumulating evidence indicates that long non‑coding RNAs (lncRNAs) may serve essential roles during tumorigenesis of colorectal cancer (CRC). The lncRNA…”
Get full text

Insight into the pyrolysis behavior of corn straw through TG-FTIR, Py-GC/MS experiments and ReaxFF MD simulations by Zhang, Xiuxia, Liu, Xinming, Xiao, Meihua, Feng, Hongqing, Lin, Riyi, Wang, Xinwei

“…[Display omitted] •Pyrolysis characteristics of stover was studied experimentally and theoretically.•The required activation energy decreased slightly with…”
Get full text

Proving authentication property of PUF-based mutual authentication protocol based on logic of events by Song, Jiawen, Xiao, Meihua, Zhang, Tong, Zhou, Haoyang

“…PUF (Physical unclonable function) is a new hardware security primitive, and the research on PUFs is one of the emerging research focuses. For PUF-based mutual…”
Get full text

Formal Analysis of the Security Protocol with Timestamp Using SPIN by Xiao, Meihua, Song, Weiwei, Yang, Ke, OuYang, Ri, Zhao, Hanyu

“…The verification of security protocols is an important basis for network security. Now, some security protocols add timestamps to messages to defend against…”
Get full text

Insight into the thermal conversion of corn stalk gasification in supercritical water based on reactive molecular dynamics simulations by Zhang, Xiuxia, Liu, Lining, Xiao, Meihua, Lang, Bofan, Xia, Lianxin, Lin, Riyi, Wang, Xinwei

“…Supercritical water gasification (SCWG) technology could be used for the clean and efficient utilization of waste biomass. This work first constructed a…”
Get full text