Jia Chen

According to our database, Jia Chen authored at least 3 papers in 2018.

Collaborative distances:

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

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

Security Proof of KerNeeS Protocol Based on Logic of Events.

Ke Yang, Meihua Xiao, Jia Chen

Proceedings of the Theoretical Computer Science - 36th National Conference, 2018

Formal Analysis and Verification for Three-Party Authentication Protocol of RFID.

Jia Chen, Meihua Xiao, Ke Yang, Wei Li, Xiaomei Zhong

Proceedings of the Theoretical Computer Science - 36th National Conference, 2018