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.

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

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

CLC Number: 

• TN918.91