Zhi Niu, Luming Dong, Yong Zhu. The Runtime model checking Method for Zero Trust Security Policy. In Proceedings of the 7th International Conference on Cyber Security and Information Engineering, ICCSIE 2022, Brisbane, QLD, Australia, September 23-25, 2022. pages 8-12, ACM, 2022. [doi]
Abstract is missing.