密码协议的形式化分析与设计原则

【文件属性】：

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

文件大小：196KB

文件格式：PDF

更新时间：2011-11-25 07:51:53

密码协议 分析 设计

简要介绍了一些密码学的分析与设计原则，对bna逻辑的发展也做了些介绍