Specifying and Verifying SDP Protocol Based Zero Trust Architecture Using TLA+. - Luming Dong; Zhi Niu; Yong Zhu; Wei Zhang (ICCSIE, 2022)

The Runtime model checking Method for Zero Trust Security Policy. - Zhi Niu; Luming Dong; Yong Zhu (ICCSIE, 2022)

Verifying Zookeeper based on Model-Based runtime Trace-Checking using TLA+. - Zhi Niu; Luming Dong; Yong Zhu; Li Chen (ICCSIE, 2022)