摘要
设计安全、有效的密码协议是密码学和通讯领域的一个十分重要的研究课题,与密码协议的形式化分析方法究同步发展。文章在研究链空间模型和认证测试思想的基础上,采用链空间方法指导密码协议的设计,并设计了一个于公钥密码体制的协议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.
出处
《计算机工程与应用》
CSCD
北大核心
2005年第5期92-95,共4页
Computer Engineering and Applications
关键词
密码协议
协议设计
链空间
认证测试
cryptographic protocols,protocol design,strand space,authentication test