摘要： 针对网络查询系统的背景和需求,基于公钥密码体制设计了一个端端密钥分发协议,基于对称密码体制设计了一个身份认证协议,并利用改进后的BAN逻辑对身份认证协议进行了分析,证明了其安全性。

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

Abstract: 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.

中图分类号: 

• TP393.08