对NPKI机制的形式化分析

• 作者: 付小青 付才 余祥宣
• 来源期刊: 华中科技大学学报(自然科学版)
• 学科: 工学
• 关键词: 身份认证 NPKI 证书 BAN 逻辑
• 年，卷（期）: 2002,（9）
• 页码范围: 25-27
• 页数: 3页
• 分类号: TP393.08
• 字数: 2338字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-4512.2002.09.009

摘要

通过一对等实体通信的实例说明了NPKI的认证原理,在分析了传统PKI公钥证书认证原理的基础上,较为具体地说明了NPKI的身份认证过程,指出了NPKI是一种高效率的证书认证机制.然后对NPKI按照BAN逻辑进行了形式化,在明确其初始条件后,按照BAN逻辑中的有关推理规则,重点证明了NPKI是一种安全可靠的身份认证机制.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	余祥宣	华中科技大学计算机科学与技术学院	11	158	6.0	11.0
2	付小青	华中科技大学计算机科学与技术学院	13	73	5.0	8.0
3	付才	华中科技大学计算机科学与技术学院	29	121	6.0	9.0