华中科技大学学报(自然科学版)
華中科技大學學報(自然科學版)
화중과기대학학보(자연과학판)
JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY
2002年
9期
25-27
,共3页
身份认证%NPKI%证书%BAN 逻辑
身份認證%NPKI%證書%BAN 邏輯
신빈인증%NPKI%증서%BAN 라집
通过一对等实体通信的实例说明了NPKI的认证原理,在分析了传统PKI公钥证书认证原理的基础上,较为具体地说明了NPKI的身份认证过程,指出了NPKI是一种高效率的证书认证机制.然后对NPKI按照BAN逻辑进行了形式化,在明确其初始条件后,按照BAN逻辑中的有关推理规则,重点证明了NPKI是一种安全可靠的身份认证机制.
通過一對等實體通信的實例說明瞭NPKI的認證原理,在分析瞭傳統PKI公鑰證書認證原理的基礎上,較為具體地說明瞭NPKI的身份認證過程,指齣瞭NPKI是一種高效率的證書認證機製.然後對NPKI按照BAN邏輯進行瞭形式化,在明確其初始條件後,按照BAN邏輯中的有關推理規則,重點證明瞭NPKI是一種安全可靠的身份認證機製.
통과일대등실체통신적실례설명료NPKI적인증원리,재분석료전통PKI공약증서인증원리적기출상,교위구체지설명료NPKI적신빈인증과정,지출료NPKI시일충고효솔적증서인증궤제.연후대NPKI안조BAN라집진행료형식화,재명학기초시조건후,안조BAN라집중적유관추리규칙,중점증명료NPKI시일충안전가고적신빈인증궤제.
