链空间方法在密码协议设计中的应用  

Application of Strand Space Method for Design of Cryptographic Protocols

作　　者：邓淼磊[1] 周保群[1] 熊选东[1] 

机构地区：[1]解放军信息工程大学,郑州450004

出　　处：《计算机工程与应用》2005年第5期92-95,共4页Computer Engineering and Applications

摘　　要：设计安全、有效的密码协议是密码学和通讯领域的一个十分重要的研究课题,与密码协议的形式化分析方法究同步发展。文章在研究链空间模型和认证测试思想的基础上,采用链空间方法指导密码协议的设计,并设计了一个于公钥密码体制的协议PCP。Design of secure and effective cryptographic protocols is an important research subject in cryptography and communication area,as well as formal techniques applied to analysis of cryptographic protocols.This paper adopts the strand space method to direct the designing of cryptographic protocols on the base of studying the strand space method and authentication test ideas.It also designs a new protocol PCP based on public key cryptography.

关 键 词：密码协议 协议设计 链空间 认证测试 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]