一种基于有色Petri网的安全协议分析方法研究

Research of security protocols analysis language based on coloured Petri net

利用有色Petri网建模工具CPN tools中的查询函数对安全属性进行描述,搭建一个能够覆盖大部分安全性质的CPN查询函数库,提出一种基于CPN的通用和规范的安全协议形式化分析语言,该语言可以像用面向对象编程语言编程一样对安全协议进行建模。

Using the query faction of CPN tool to describ the security attribute. Building a CPN query function database which contained the most security attribute. This paper presents a formal analysis language of security protocols which general and standardization based on CPN. This language can build the model of security protocols like as object-oriented-programming language.