作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

›› 2001, Vol. 27 ›› Issue (10): 133-135.

• 论文 • 上一篇    下一篇

密码协议的归纳证明方法

束妮娜,王亚弟   

  1. 信息工程大学电子技术学院,信息工程大学电子技术学院 郑州 450004
  • 发布日期:2001-10-25

Inductive Approach to Verifying Cryptographic Protocols

SHU Nina,WANG Yadi   

  1. (Institute of Electronic Technology, PLA Information Engineering University,Zhengzhou 450004)
  • Published:2001-10-25

摘要: 通过对Otway-rees协议的分析,介绍了目前受到普遍关注的一种密码协议形式化分析方法—归纳方法。

关键词: 密码协议, 归纳, 迹

Abstract: This paper introduces a kind of formal method for the analysis of cryptographic protocols inductive method which has been widely given attention at present, and analyzes the Otway-rees protocol.

中图分类号: