摘要:密码协议是任何安全系统的基础,其作用主要是利用密码技术实现网络通信中的密钥分发和身份认证,所以它也是实现计算机网络安全的关键,但是在实践中发现有许多密码协议仍然存在漏洞,因此对密码协议的安全性验证就显得非常重要.本文提出了一种基于Petri网的密码协议形式化描述和安全性验证的方法,该方法建立在倒推状态分析思想与颜色Petri网的可达性矩阵描述的基础之上,并通过实例证明了这种方法的有效性.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
热门期刊服务
相关文章
影响因子:0.13
期刊级别:省级期刊
发行周期:双月刊
期刊在线咨询,1-3天快速下单!
查看更多>
超1000杂志,价格优惠,正版保障!
一站式期刊推荐服务,客服一对一跟踪服务!