Validation of the Detailed Design of the Label Distribution Protocol for the Multiprotocol Label Switching System

スポンサーリンク

概要

• 論文の詳細を見る

• In this paper, we describe the development and the analysis of the Label Distribution Protocol (LDP) for Multiprotocol Label Switching System. We review the implementation issues that are required to construct the LDP for a gigabit switched router and propose a detailed design of the LDP. We present the detailed design using the Deviation Tree of the protocol state machine and a formal specification of the state machine using the process algebra. These specifications are based on the IETF standard. By analyzing the protocol behaviors of the Deviation Trees and the formal specification, we prove the interoperability, completeness, liveness, reachability, and the safety of the implemented LDP. We expect that the reliability would be improved using these analyses. With these proofs we expect the implemented LDP will be interoperable with other commercialized products. As a result we validate the protocol behaviors of the implemented LDP.

• 社団法人電子情報通信学会の論文
• 2003-02-01

著者

• Park Jae-hoon

  College Of Medicine Kyung-hee University

• Park J‐h

  Chuug-ang University

• PARK Jac-Hyun

  Chuug-Ang University

関連論文

• Costunolide Triggers Apoptosis in Human Leukemia U937 Cells by Depleting Intracellular Thiols
• Validation of the Detailed Design of the Label Distribution Protocol for the Multiprotocol Label Switching System

スポンサーリンク