| 有色Petri网的一种密码协议建模分析 |
| |
| 引用本文： | 罗志宏,朱思铭. 有色Petri网的一种密码协议建模分析[J]. 现代计算机, 2006, 0(2): 64-67 |
| |
| 作者姓名： | 罗志宏 朱思铭 |
| |
| 作者单位： | [1]中山大学计算机系,广州510275 [2]中山大学数学系,广州510275 |
| |
| 摘 要： | 密码协议是任何安全系统的基础,对它的设计越来越受到广大用户的关注.本文详细论述了文献[1]提到的一种密码协议,并使用有色Petri网对该协议建模分析,说明该设计的正确性.
|
| 关 键 词： | 有色Petri网 密码协议 建模 形式化分析 |
| 收稿时间： | 2005-11-11 |
| 修稿时间： | 2005-11-11 |
Modeling Analysis for a Cryptographic Protocol Using Coloured Petri Net |
| |
| LUO Zhi-hong,ZHU Si-ming. Modeling Analysis for a Cryptographic Protocol Using Coloured Petri Net[J]. Modem Computer, 2006, 0(2): 64-67 |
| |
| Authors: | LUO Zhi-hong ZHU Si-ming |
| |
| Affiliation: | 1.Departmet of Computer Science, SUN Yat-sen University, Guangzhou 510275 China; 2.Dcpartmet of Mathematics, SUN Yat-sen University, Guangzhou 510275 China |
| |
| Abstract: | Cryptographic protocol is the base of all secure systems. Its design has received more and more care from users. This paper details certain cryptographic protocol proposed in reference [1] and establishes model and makes analysis for the protocol using coloured Petri net, and shows validity of the design. |
| |
| Keywords: | Coloured Petri Net Cryptographic Protocol Modeling Formal Analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
