摘要
安全协议是实现网络安全的关键,如何验证安全协议的安全性是一个非常重要的工作。论文提出一种基于着色Petri网的安全协议形式化描述与安全验证方法,此方法建立在逆向状态分析和着色petri网可达性矩阵的基础之上,并采用具体协议来验证该方法的有效性。
Securiy protocol is the key to implement network security,how to verify the safety of the security protocol is a very important job.This paper proposes an approach for the formal modeling and analysis of security properties of cryptographic protocols by using Colored Petri Net,this mothod is based on analysis idea of inverse inference and matrix of reachability of cpn,and then use a specific protocol to verify the validity of the method.
出处
《微计算机信息》
2010年第15期78-80,共3页
Control & Automation
关键词
安全协议
着色PETRI网
形式化建模与分析
安全验证
可达性分析
securiy protocol
colored petri net
formal modeling and analysis
security verification
reachability analysis