Jia She

According to our database, Jia She authored at least 1 paper in 2017.

Collaborative distances:

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

2017

Algebraic Formalization and Verification of PKMv3 Protocol using Maude.

Jia She, Xiaoran Zhu, Min Zhang

Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017