密码协议的形式化分析与设计原则 (2001年)

【文件属性】：

文件名称：密码协议的形式化分析与设计原则 (2001年)

文件大小：176KB

文件格式：PDF

更新时间：2024-05-31 06:16:34

自然科学 论文

介绍了密码协议的形式化分析方法和设计原则,着重介绍了BAN逻辑及其发展以及一些重要的协议设计原则,并提出了作者的一些观点。