| 对NPKI机制的形式化分析 |
| |
| 引用本文： | 余祥宣,付才,付小青.对NPKI机制的形式化分析[J].华中科技大学学报(自然科学版),2002,30(9):25-27. |
| |
| 作者姓名： | 余祥宣 付才 付小青 |
| |
| 作者单位： | 华中科技大学计算机科学与技术学院 |
| |
| 摘 要： | 通过一对等实体通信的实例说明了NPKI的认证原理，在分析了传统PKI公钥证书认证原理的基础上，较为具体地说明了NPKI的身份认证过程，指出了NPKI是一种高效率的证书认证机制。然后对NPKI按照BAN逻辑进行了形式化，在明确其初始条件后，按照BAN逻辑中的有关推理规则，重点证明了NPKI是一种安全可靠的身份认证机制。
|
| 关 键 词： | NPKI机制 形式化分析 身份认证 BAN逻辑 认证原理 PKI公钥体系 嵌套证书 |
| 文章编号： | 1671-4512(2002)09-0025-03 |
| 修稿时间： | 2002年3月19日 |
A formal analysis of NPKI |
| |
| Yu Xiangxuan Fu Cai FuXiaoqing Prof., College of Computer Sci. & Tech.,Huazhong Univ. of Sci. & Tech.,Wuhan ,China..A formal analysis of NPKI[J].JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE,2002,30(9):25-27. |
| |
| Authors: | Yu Xiangxuan Fu Cai FuXiaoqing Prof College of Computer Sci & Tech Huazhong Univ of Sci & Tech Wuhan China |
| |
| Institution: | Yu Xiangxuan Fu Cai FuXiaoqing Prof., College of Computer Sci. & Tech.,Huazhong Univ. of Sci. & Tech.,Wuhan 430074,China. |
| |
| Abstract: | The identification principles of NPKI are explained with an example of the communication between two equal entities. Based on an analysis of the traditional PKI, the identity authenticating process of NPKI is fairly specifically explained. It is pointed out that NPKI is a highly efficient certificate verifying mechanism. Then NPKI is formalized using the BAN logic. After its initial conditions are determined, it is proved that NPKI is a safe and reliable identity authenticating mechanism according to the relevant inference rule in BAN logic. |
| |
| Keywords: | identity authentication NPKI certificate BAN logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
