Login / Signup
Ri Ouyang
ORCID
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Rfid Tags
Mutual Authentication
Security Protocols
Key Agreement
Top Venues
NCTCS
</>
Publications
</>
Tong Zhang
,
Meihua Xiao
,
Ri Ouyang
Proving Mutual Authentication Property of 5G-AKA Protocol Based on PCL.
NCTCS
(2021)
Ke Yang
,
Meihua Xiao
,
Zifan Song
,
Ri Ouyang
Deriving Security Protocols Based on Protocol Derivation System.
NCTCS
(2020)