摘要
通过对Otway-rees协议的分析,介绍了目前受到普遍关注的一种密码协议形式化分析方法—归纳方法。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2001年第10期129-131,共3页
Computer Engineering
