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

• 作者: 王斌
• 来源期刊: 甘肃科技纵横
• 学科: 工学
• 关键词: 身份认证协议 Petri网 可达性分析 安全性
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 信息技术
• 页码范围: 18,183
• 页数: 2页
• 分类号: TP3
• 字数: 4254字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-6375.2007.02.012

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王斌		1	1	1.0	1.0