Zhi Niu

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 4

Top Topics

Communication Protocols

Top Venues

Publications

Luming Dong, Zhi Niu, Yong Zhu, Wei Zhang
Specifying and Verifying SDP Protocol Based Zero Trust Architecture Using TLA+. ICCSIE (2022)
Zhi Niu, Luming Dong, Yong Zhu
The Runtime model checking Method for Zero Trust Security Policy. ICCSIE (2022)
Zhi Niu, Luming Dong, Yong Zhu, Li Chen
Verifying Zookeeper based on Model-Based runtime Trace-Checking using TLA+. ICCSIE (2022)
Zhi Niu, Tieshi Zhao, Yanzhi Zhao, Qiangqiang Hu, Shixing Ding
Design and Analysis of the Measurement Characteristics of a Bidirectional-Decoupling Over-Constrained Six-Dimensional Parallel-Mechanism Force Sensor. Sensors 17 (9) (2017)