| 一种基于有色Petri网的安全协议分析方法研究 |
| |
| 引用本文： | 苏桂平,孙莎.一种基于有色Petri网的安全协议分析方法研究[J].微型机与应用,2011,30(15):1-3,7. |
| |
| 作者姓名： | 苏桂平 孙莎 |
| |
| 作者单位： | 1. 中国科学院研究生院信息科学与工程学院,北京,100049
2. 中国科学院研究生院工程教育学院,北京,100049 |
| |
| 摘 要： | 利用有色Petri网建模工具CPN tools中的查询函数对安全属性进行描述,搭建一个能够覆盖大部分安全性质的CPN查询函数库,提出一种基于CPN的通用和规范的安全协议形式化分析语言,该语言可以像用面向对象编程语言编程一样对安全协议进行建模。
|
| 关 键 词： | 有色Petri网 安全协议 形式化分析 面向对象编程语言 |
Research of security protocols analysis language based on coloured Petri net |
| |
| Su Guiping,Sun sha.Research of security protocols analysis language based on coloured Petri net[J].Microcomputer & its Applications,2011,30(15):1-3,7. |
| |
| Authors: | Su Guiping Sun sha |
| |
| Affiliation: | Su Guiping1,Sun sha2(1.School of Information Science and Engineering,Graduate School of CAS,Beijing 100049,China,2(College of Engineering and Education,China) |
| |
| Abstract: | 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 standardizati |
| |
| Keywords: | coloured Petri net security protocol formal analysis OOPL |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
