A Formal Specification and Analysis of the Resource Reservation Protocol

reportActive / Technical Report | Accession Number: ADA369656 | Open PDF

Abstract:

This thesis explores the practicality of using the Resource ReSerVation Protocol RSVP model to prove quality of service guarantees over networks. An overview of the requirements to provide quality of service is provided. Using Finite State Machine analysis, the RSVP protocol is formally specified and found to be suitable for reserving resources along a proposed path. However, the distributed nature of the RSVP model and its reliance on quality of service aware routing protocols is problematic. Several examples where RSVP provides less than optimal andor incorrect results are studied. The framework for alternate model of proving quality of service is proved. This model uses a centralized server for flow path computation. The server-based approach provides more accurate results than the RSVP model and is capable of network optimization yet it places fewer strains on network resources and appears easier to implement.

Author(s):
Hensley, David P.
Author Organization(s):
NAVAL POSTGRADUATE SCHOOL MONTEREY CA
Descriptive Note:
Master's thesis
Pagination:
0065

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release

RECORD

Collection: TR
Identifying Numbers
Monitor Series:
NPS
 Subject Terms
Joint Capability Areas:
JCA_6.1.3_Switching and Routing; JCA_6_Net Centric; JCA_6.1.1_Wired Transmission; JCA_6.1_Information Transport; JCA_6.4.1_Secure Information Exchange; JCA_6.4.2_Protect Data and Networks; JCA_6.4_Information Assurance; JCA_5_Command and Control; JCA_4.6_Engineering; JCA_4.6.1_General Engineering; JCA_5.2.3_Share Knowledge and Situational Awareness; JCA_5.2_Understand; JCA_6.2.3_Core Enterprise Services; JCA_5.3_Planning; JCA_6.2_Enterprise Services; JCA_JCA_4.1.2_Sustain the Force; JCA_4.1_Deployment and Distribution; JCA_1.2.5_Lessons Learned; JCA_4.5.4_Requirements Definition; JCA_4.5_Operational Contract Support; JCA_5.4_Decide
Modernization Areas:
Cyber
Communities of Interest:
Energy and Power Technologies
Descriptor(s):
*COMPUTER COMMUNICATIONS, *INTERNET, INTEGRATED SYSTEMS, THESES, ROUTING, SYSTEMS ANALYSIS, QUALITY ASSURANCE, PACKET SWITCHING, CLIENT SERVER SYSTEMS
Field(s)/Group(s):
Computer Systems
Keyword(s):
IP(INTERNET PROTOCOL), RSVP(RESOURCE RESERVATION PROTOCOL)
Report Date:
1999 Sep 01
Creation Date:
1999 Nov 03