一种身份认证协议的形式化描述与验证

摘要：

身份认证作为实现网络安全的第一步,是网上商务信息安全交换的关键.而认证协议一旦存在漏洞,必然会导致秘密信息的泄漏,这就需要采用一种形式化的方法去描述和验证认证协议.本文采用着色Petri网描述身份认证协议,同时提出了一种用1-可达性分析方法和向回分析方法相结合的策略,验证了该身份认证协议的安全性.

关键词：身份认证协议、Petri网、可达性分析、安全性

所属期刊栏目：36

分类号：TP3(计算技术、计算机技术)

在线出版日期：2007-04-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：18,183