Modeling mobile IP in mobile UNITY
نویسندگان
چکیده
منابع مشابه
A Mobile-UNITY Specification of the Mobile IP Protocol
This paper examines the mobile computing paradigm from a formal perspective. We show that existing assertional-style specification and verification methods can be extended to accommodate reasoning about mobile computations. The UNITY notation and proof logic provide the technical foundation for this work. The novel features entail modeling component location, movement, and transient (context-de...
متن کاملMobile Networking Through Mobile IP
A lthough the Inter-net offers access to information sources worldwide, typically we do not expect to benefit from that access until we arrive at some familiar point—whether home, office, or school. However, the increasing variety of wireless devices offering IP connectivity, such as PDAs, handhelds, and digital cellular phones, is beginning to change our perceptions of the Internet. To underst...
متن کاملMobile IP
|Mobile IP has been designed within the IETF to serve the needs of the burgeoning population of mobile computer users who wish to connect to the Internet and maintain communications as they move from place to place. The basic protocol is described, with details given on the three major component protocols: Agent Advertisement, Registration, and Tunneling. Then, route optimization procedures are...
متن کاملAn Introduction to Mobile UNITY
Traditionally, a distributed system has been viewed as a collection of fixed computational elements connected by a static network. Prompted by recent advances in wireless communications technology, the emerging field of mobile computing is challenging these assumptions by providing mobile hosts with connectivity that may change over time, raising the possibility that hosts may be called upon to...
متن کاملEnabling Mobile WAP Gateways using Mobile IP
The Wireless Application Protocol (WAP) is a protocol stack with a focus on wireless environments designed to work optimally with all wireless bearers. However, WAP does not provide any considerations for any of its architectural components (Client, Server or Gateway) to be roaming between network operators and Internet administrative domains. In this study it is experimentally shown that mobil...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Software Engineering and Methodology
سال: 1999
ISSN: 1049-331X,1557-7392
DOI: 10.1145/304399.304400