Research on Zero Trust Access Control Model and Formalization Based on Rail Transit Data Platform | IEEE Conference Publication | IEEE Xplore