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

Research of security protocols analysis language based on coloured Petri net

作　　者：苏桂平[1] 孙莎[2] 

机构地区：[1]中国科学院研究生院信息科学与工程学院,北京100049 [2]中国科学院研究生院工程教育学院,北京100049

出　　处：《微型机与应用》2011年第15期1-3,7,共4页Microcomputer & Its Applications

摘　　要：利用有色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.

关 键 词：有色PETRI网 安全协议 形式化分析 面向对象编程语言 

分 类 号：TP393.02[自动化与计算机技术—计算机应用技术]