Liu, A. ., Du, X. ., Wang, N. ., Wang, X. ., Wu, X. ., & Zhou, J. . (2022). Implement Security Analysis of Access Control Policy Based on Constraint by SMT. In 2022 IEEE 5th International Conference on Electronics Technology (ICET) (pp. 1043–1049).