Luming Dong

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 3

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)