基于有色Petri网的一种密码协议的描述和分析  

Specification and Analysis of a Cryptographic Protocol Based on Coloured Petri Nets

作　　者：罗志宏[1] 王常吉[1] 朱思铭[2] 

机构地区：[1]中山大学计算机系,广州510275 [2]中山大学数学系,广州510275

出　　处：《计算机工程与应用》2006年第23期106-108,共3页Computer Engineering and Applications

基　　金：国家自然科学基金资助项目(编号:60503005)

摘　　要：Petri网作为一种数学工具,已被广泛应用于过程的描述、分析和验证。文章使用有色Petri网对文献[1]中提到的一种密码协议进行描述和分析,发现并验证该协议的安全缺陷。Petri nets for a mathematical tool are used widely to specification,analysis and verification of procedure.In this paper,we specify and analyse a cryptographic protocol suggested in[1],find and verify security flaws of this protocol using coloured Petri nets.

关 键 词：有色PETRI网 密码协议 描述和分析 

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