C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Xizhong Wang
Publication Activity (10 Years)
Years Active: 2016-2019
Publications (10 Years): 3
Top Topics
Cryptographic Protocols
Rfid Tags
Mobility Patterns
Hot Spots
Top Venues
IEEE Access
ICSS
</>
Publications
</>
Jiawen Song
,
Meihua Xiao
,
Ke Yang
,
Xizhong Wang
,
Xiaomei Zhong
LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols.
IEEE Access
7 (2019)
Ke Yang
,
Meihua Xiao
,
Jiawen Song
,
Jia Chen
,
Xiaomei Zhong
,
Xizhong Wang
Proving Mutual Authentication Property of KerNeeS Protocol Based on Logic of Events.
IEEE Access
6 (2018)
Zhou Fang
,
Chao Ma
,
Xizhong Wang
,
Jiaxing Qu
Mining Popular Mobility Patterns from User GPS Trajectories.
ICSS
(2016)