Xizhong Wang

According to our database, Xizhong Wang authored at least 3 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols.

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

IEEE Access, 2019

2018

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

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

IEEE Access, 2018

2016

Mining Popular Mobility Patterns from User GPS Trajectories.

Zhou Fang, Chao Ma, Xizhong Wang, Jiaxing Qu

Proceedings of the 9th International Conference on Service Science, 2016