Please use this identifier to cite or link to this item: http://hdl.handle.net/10603/218656
Title: Protocol Verification in Coexistence Phase of Mobile Internet Protocol Versions 4 and 6
Researcher: SUSANNA SAJONI HENRY
Guide(s): V. Santhosh Kumar
Keywords: Computer Science, Protocol Verification in Coexistence Phase, Mobile Internet Protocol Versions 4 and 6
University: Birla Institute of Technology and Science
Completed Date: 22/07/2015
Abstract: Verification is often a central issue in the design, development, and configuration of protocols. As new protocols are developed, it becomes important to check that these protocols work properly after implementation. There are numerous studies in the areas of computer networks and telecommunication systems that have shown that time and money can be saved if the protocol verification is done efficiently. Protocol verifications are conducted to evaluate existing or planned protocols, to compare alternative protocols, or to find an optimal protocol for a network. Protocol verification is a process of checking whether the interactions of protocol entities, according to the protocol specification, do indeed satisfy certain properties or conditions which may be either general or specific to the particular protocol system directly derived from the specification. A protocol system consists of a network of protocol entities and communication channels. Protocol entities interact by exchanging messages through channels; messages in transit may be lost, duplicated as well as reordered. The design of communication protocols for computer networks remains a mysterious art with occasional unexpected results and so the topic Protocol Verification requires good attention due to its inherent nature of complexity. The current work is aimed at building a suitable model for protocol verification in the coexistence phase of mobile internet protocols. The modeling of the protocol is done using a schema diagram. The design functions for each module are formulated in the next step and finally each design function is implemented using programming language C. The developments in Mobile IPv4 and Mobile IPv6 in recent years have opened up a new horizon for protocol verification. This thesis presents Protocol Verification in Mobile IP which consists of three parts as follows i. Mobile IPv4. ii. Coexistence phase: the phase in which Mobile IPv4 and Mobile IPv6 coexists. iii. Mobile IPv6. The Coexistence phase refers to the following three p
Pagination: xiv, 152
URI: http://hdl.handle.net/10603/218656
Appears in Departments:Computer Science & Information Systems

Files in This Item:
File Description SizeFormat 
thesis-report.pdfAttached File2.27 MBAdobe PDFView/Open


Items in Shodhganga are protected by copyright, with all rights reserved, unless otherwise indicated.