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

fYear

2012

fDate

8-10 Dec. 2012

Firstpage

1330

Lastpage

1333

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Instrumentation, Measurement, Computer, Communication and Control (IMCCC), 2012 Second International Conference on

Conference_Location

Harbin

Print_ISBN

978-1-4673-5034-1

Type

conf

DOI

10.1109/IMCCC.2012.313

Filename

6429149

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3204991