作者：王斌身份认证协议petri网可达性分析安全性
摘要：身份认证作为实现网络安全的第一步，是网上商务信息安全交换的关键。而认证协议一旦存在漏洞。必然会导致秘密信息的泄漏，这就需要采用一种形式化的方法去描述和验证认证协议。本文采用着色Petri网描述身份认证协议，同时提出了一种用1-可达性分析方法和向回分析方法相结合的策略，验证了该身份认证协议的安全性。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《甘肃科技纵横》（CN：62-1173/N）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《甘肃科技纵横》创兰州科技期刊品牌的目标，采取多种措施使杂志获得新生，并进入良性盈利循环。现是一家全国性的科技期刊，也是《中国学术期刊》(光盘版)入编期刊，《中国学术期刊综合评价数据库》来源期刊和《中国期刊网》全文收录期刊。
部级期刊
人气 1073987 评论 53
省级期刊
人气 845947 评论 70
人气 806700 评论 68
人气 753050 评论 72
