孙莎
- 作品数:2 被引量:3H指数:1
- 供职机构:中国科学院研究生院更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- 一种基于有色Petri网的安全协议分析方法研究被引量:2
- 2011年
- 利用有色Petri网建模工具CPN tools中的查询函数对安全属性进行描述,搭建一个能够覆盖大部分安全性质的CPN查询函数库,提出一种基于CPN的通用和规范的安全协议形式化分析语言,该语言可以像用面向对象编程语言编程一样对安全协议进行建模。
- 苏桂平孙莎
- 关键词:有色PETRI网安全协议形式化分析面向对象编程语言
- 基于CPN模型的不可否认协议分析被引量:1
- 2011年
- 通过对不可否认协议的语义进行分析,建立有色Petri网(Coloured Petri Net,CPN)中基本元素与安全协议中元素的对应关系,对CPN Tools提供的建模语言(CPN ML)在规范协议描述、简化协议建模及自动检测方面进行扩展,提出了一种基于CPN模型的不可否认协议分析方法,该方法利用CPN tools的状态空间查询功能和自建的查询函数库来对不可否认协议进行分析和验证,该工具具有通用性强、时效性强和交互性好等诸多优点,并通过实例说明了这种方法的有效性。
- 苏桂平孙莎
- 关键词:不可否认协议形式化分析