Luming Dong

According to our database, Luming Dong authored at least 3 papers in 2022.

Collaborative distances:

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

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