颜色Petri网一种专有协议的描述和验证

摘要：

介绍了我们在一个项目中设计的点到点链路层协议,然后利用颜色Petri网和CPN Tools对该协议建模,分析和验证。首先建立了协议模型,然后运用仿真方法和状态空间分析方法考察协议行为特征。通过建模分析方法有助于我们找到协议中的疏漏,体现了协议设计过程中形式化建模和分析方法的优点和遇到的挑战。

关键词： 有色Petri网 颜色Petri网 专有协议 验证 网络安全 链路层协议

作者: 黄天福 白光伟

作者单位: 南京工业大学信息科学与工程学院 江苏南京 210009

会议类型: 国内会议

会议名称: 第十一届全国Petri网理论与应用学术年会

会议地点: 大连

会议语种:中文

页码: 62-64,89

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