欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
介绍了我们在一个网络安全项目中设计的点到点链路层协议,然后利用颜色Petri网和CPN Tools对该协议建模、分析和验证。首先建立了协议模型,然后运用仿真方法和状态空间分析方法考察协议行为特征。通过建模分析方法有助于我们找到协议中的疏漏,体现了协议设计过程中形式化建模和分析方法的优点和遇到的挑战。
英文摘要：
This paper describes the formal description and validation of a private point to point protocol at the data link layer, using a CPN （Coloured Petri Net） model. It begins with the design and construction of a CPN model with formal specification. Then we investigate the protocol behaviour using simulation approach and state space analysis to identify some bugs and errors in the protocol design. The results demonstrate the benefits and challenge of formal analysis in a protocol design process.
同期刊论文项目
同项目期刊论文
期刊信息
位置：