Study And Implementation Of Access Authentication And Accounting System Based On The Interaction Of Multi-System

With the fast development of Ethernet, the management of access network has become an important problem. How to combine properly access accounting system with other network systems, such as IDS, Active Directory and Net Log, will be a hot topic in the future. IEEE 802.1x is an access control protocol based on ports and it had been used to construct the management system of access network. RADIUS is the indispensable sever of the system.This paper presents some access authentication and accounting technologies including IEEE 802.1x, RADIUS and the interaction of multi-system, and analyzes the interaction of multi-system in detail. The paper presents a formal model of the interaction protocol by timed automata, and use UPPAAL to check the properties of the protocol. The modeling and verification prove that the interation protocol can satisfy the requirement no matter the network is in normal or abnormal circumstances. Finally, the paper introduces the design and development of an access authentication and accounting system based on the protocol, which has been used in many universities.