Record Details

Protocol Verification in Coexistence Phase of Mobile Internet Protocol Versions 4 and 6

Shodhganga@INFLIBNET

View Archive Info
 
 
Field Value
 
Title Protocol Verification in Coexistence Phase of Mobile Internet Protocol Versions 4 and 6
—
 
Contributor V. Santhosh Kumar
 
Subject Computer Science, Protocol Verification in Coexistence Phase, Mobile Internet Protocol Versions 4 and 6
 
Description 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
—
 
Date 2018-10-16T06:12:04Z
2018-10-16T06:12:04Z
01.08.2009
22/07/2015
—
 
Type Ph.D.
 
Identifier http://hdl.handle.net/10603/218656
 
Language English
 
Relation —
 
Rights university
 
Format xiv, 152
—
DVD
 
Coverage —
 
Publisher Pilani
Birla Institute of Technology and Science
Computer Science and Information Systems
 
Source University