DocumentCode
2353853
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
fYear
2008
fDate
23-25 July 2008
Firstpage
483
Lastpage
487
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ALPIT.2008.30
Filename
4584414
Link To Document