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).