Title :
Modeling Analysis on the Visitor Locations Register in 3G
Author :
Haitao Li ; Hong Fan ; Chengyuan Li ; Hua Shao
Author_Institution :
First Res. Inst. of Minist. of Public Security, Beijing, China
Abstract :
In this paper, we researched the status of the Visitor Locations Register (VLR) in the third generation communication system (3G). Basing on automata theory, we offer the statues modeling of the VLR, is called Visitor Locations Register Automata (VLRA), which formally describes the states, the behavior, and the variation of the VLR in the authentication protocol. Finally, we formally analyzed the VLRA in the authentication process.
Keywords :
3G mobile communication; automata theory; cryptographic protocols; 3G communication system; VLRA; authentication protocol; automata theory; modeling analysis; third generation communication system; visitor location register automata; Authentication; Automata; Mobile communication; Mobile computing; Protocols; Registers; AKA; Modeling analysis; VLRA; automata theory; staus;
Conference_Titel :
Instrumentation, Measurement, Computer, Communication and Control (IMCCC), 2012 Second International Conference on
Conference_Location :
Harbin
Print_ISBN :
978-1-4673-5034-1
DOI :
10.1109/IMCCC.2012.313
