一种改进的基于CPN的密码协议攻击者模型  

AN IMPROVED ATTACKER MODEL OF CRYPTOGRAPHIC PROTOCOLS USING COLORED PETRI NETS

作　　者：白云莉[1] 叶新铭[2] 

机构地区：[1]内蒙古农业大学计算机与信息工程学院,呼和浩特010018 [2]内蒙古大学计算机学院,呼和浩特010021

出　　处：《内蒙古农业大学学报（自然科学版）》2014年第5期130-136,共7页Journal of Inner Mongolia Agricultural University(Natural Science Edition)

基　　金：内蒙古自然科学基金项目(2012MS0914)

摘　　要：从目前的研究成果来看,基于CPN(Colored Petri Nets,着色Petri网)的密码协议形式化建模及其分析方法主要采用传统的Dolev-Yao攻击者模型。针对该攻击者模型在验证协议中存在的不足,提出一种改进的基于CPN的攻击者模型,利用该模型对具体的NS协议进行建模和分析,实验证明,对模型的改进完善了基于CPN的密码协议形式化建模和分析方法。According to the results of the current study, formal modeling and analysis of Cryptographic Protocols Using Colored Petri Nets is mainly based on traditional Dolev - Yao attacker model. Since the attacker model used in protocol verification is nor perfect, an improved attacker model based on CPN model is proposed. Then it is used to the NSL protocol by modeling and analyzing. The ex- periment proves the improvement of formal modeling of eryptographie protocol using CPN.

关 键 词：CPN 密码协议 攻击者模型 NS协议 

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