| 链空间方法在密码协议设计中的应用 |
| |
| 引用本文： | 邓淼磊,周保群,熊选东.链空间方法在密码协议设计中的应用[J].计算机工程与应用,2005,41(5):92-95. |
| |
| 作者姓名： | 邓淼磊 周保群 熊选东 |
| |
| 作者单位： | 解放军信息工程大学,郑州,450004;解放军信息工程大学,郑州,450004;解放军信息工程大学,郑州,450004 |
| |
| 摘 要： | 设计安全、有效的密码协议是密码学和通讯领域的一个十分重要的研究课题,与密码协议的形式化分析方法究同步发展。文章在研究链空间模型和认证测试思想的基础上,采用链空间方法指导密码协议的设计,并设计了一个于公钥密码体制的协议PCP。
|
| 关 键 词： | 密码协议 协议设计 链空间 认证测试 |
| 文章编号： | 1002-8331-(2005)05-0092-04 |
Application of Strand Space Method for Design of Cryptographic Protocols |
| |
| Deng Miaolei,Zhou Baoqun,Xiong Xuandong.Application of Strand Space Method for Design of Cryptographic Protocols[J].Computer Engineering and Applications,2005,41(5):92-95. |
| |
| Authors: | Deng Miaolei Zhou Baoqun Xiong Xuandong |
| |
| Abstract: | 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. |
| |
| Keywords: | cryptographic protocols protocol design strand space authentication test |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
