网络查询系统中认证协议的设计与分析  

Design and Analysis of Authentication Protocol for Network-inquiry System

作　　者：吴文杰[1] 张晓光[2] 

机构地区：[1]上海交通大学计算机科学与工程系,上海200030 [2]江南计算技术研究所,无锡214083

出　　处：《计算机工程》2005年第21期129-131,共3页Computer Engineering

摘　　要：针对网络查询系统的背景和需求,基于公钥密码体制设计了一个端端密钥分发协议,基于对称密码体制设计了一个身份认证协议,并利用改进后的BAN逻辑对身份认证协议进行了分析,证明了其安全性。This paper designs a communion key distribution protocol based on asymmetric cipher system, and an authentication protocol based on symmetric cipher system for the requirement of network-inquiry system. Then it analyzes this protocol using the improved BAN logic and proves its security.

关 键 词：查询系统 认证协议 BAN逻辑 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]