Luming Dong, Zhi Niu, Yong Zhu, Wei Zhang. Specifying and Verifying SDP Protocol Based Zero Trust Architecture Using TLA+. In Proceedings of the 7th International Conference on Cyber Security and Information Engineering, ICCSIE 2022, Brisbane, QLD, Australia, September 23-25, 2022. pages 35-43, ACM, 2022. [doi]
Abstract is missing.