Zhi Niu

According to our database, Zhi Niu authored at least 4 papers between 2017 and 2022.

Collaborative distances:

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

2022

Verifying Zookeeper based on Model-Based runtime Trace-Checking using TLA+.

Zhi Niu, Luming Dong, Yong Zhu, Li Chen

Proceedings of the 7th International Conference on Cyber Security and Information Engineering, 2022

The Runtime model checking Method for Zero Trust Security Policy.

Zhi Niu, Luming Dong, Yong Zhu

Proceedings of the 7th International Conference on Cyber Security and Information Engineering, 2022

Specifying and Verifying SDP Protocol Based Zero Trust Architecture Using TLA+.

Luming Dong, Zhi Niu, Yong Zhu, Wei Zhang

Proceedings of the 7th International Conference on Cyber Security and Information Engineering, 2022

2017

Design and Analysis of the Measurement Characteristics of a Bidirectional-Decoupling Over-Constrained Six-Dimensional Parallel-Mechanism Force Sensor.

Zhi Niu, Tieshi Zhao, Yanzhi Zhao, Qiangqiang Hu, Shixing Ding

Sensors, 2017