The LDP Protocol Description and Verification Based on CPN Model

摘要：

CPN is one kind of formal modeling technique used in the behavior description of concurrent and distributed systems. It can analyze the network protocol behavior and performance well and can discover certain hidden errors. In this paper, a CPN model for LDP label distribution protocol has been designed using CPN Tools 2.2.0. And the LDP protocol mechanism has been analyzed based on the CPN model. Finally, to verify label distribution process of the LDP protocol, extracted several typical properties of the LDP protocol under the specific configuration mode and the verification results were obtained on the several typical properties using a CTL like branching temporal logic ASK-CTL formulas.

关键词： colored petri net formal description protocol verification LDP protocol ASK-CTL

作者: SA Rengaowa Zhap Yulan Jia Yazhe

作者单位: College of Computer Science Inner Mongolia University Hohhot, China College of Management Wu Han University Technology Wu Han, China

会议类型: 国际会议

会议名称: 2011 International Conference on Information and Industrial Electronics(2011年信息与工业电子国际会议 ICIIE 2011)

会议地点: 成都

会议语种:英文

页码: 873-877

在线出版日期: 2011-01-14（万方平台首次上网日期，不代表论文的发表时间）