Title :
Design and Verification of Roaming Using MIPv6 between WLAN and 3G Network
Author :
Kim, Cheol-Joong ; Kim, Kap-Yol ; Park, Seok-Cheon
Author_Institution :
Div. of Software, Kyungwon Univ., Seongnam
Abstract :
In this paper, we have studied standard trend of 3GPP and IETF by analyzing related documents. Also, in order to support roaming between WLAN and 3G, messages and procedure of action has been designed. For the verification, messages and procedure of action for designed roaming is modeled by Predicate/Action Net derived from the Petri Net and the safeness of designed roaming is analyzed by reachability tree.
Keywords :
3G mobile communication; Internet; Petri nets; mobile radio; transport protocols; trees (mathematics); wireless LAN; 3GPP network; IETF; Petri net; WLAN; mobile IPv6; reachability tree; roaming design; wireless local area network; Ground penetrating radar; IP networks; Joining processes; Local area networks; Radio frequency; Roaming; Routing; Software standards; Web and internet services; Wireless LAN;
Conference_Titel :
Advanced Language Processing and Web Information Technology, 2008. ALPIT '08. International Conference on
Conference_Location :
Dalian Liaoning
Print_ISBN :
978-0-7695-3273-8
DOI :
10.1109/ALPIT.2008.30
