Login / Signup
Zhan Xiang
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Elliptic Curve
Formal Analysis
Diffie Hellman
Key Management Scheme
Top Venues
SETTA
J. Syst. Archit.
</>
Publications
</>
Tengshun Yang
,
Shuling Wang
,
Bohua Zhan
,
Naijun Zhan
,
Jinghui Li
,
Shuangqing Xiang
,
Zhan Xiang
,
Bifei Mao
Formal Analysis of 5G Authentication and Key Management for Applications (AKMA).
J. Syst. Archit.
126 (2022)
Tengshun Yang
,
Shuling Wang
,
Bohua Zhan
,
Naijun Zhan
,
Jinghui Li
,
Shuangqing Xiang
,
Zhan Xiang
,
Bifei Mao
Formal Analysis of 5G AKMA.
SETTA
(2021)