密码协议分析的形式化方法研究  

Research on formalized method of crypto protocol analysis

作　　者：任侠[1] 吕述望[1] 

机构地区：[1]中国科技大学信息安全国家重点实验室

出　　处：《信息安全与通信保密》2003年第4期37-39,共3页Information Security and Communications Privacy

摘　　要：本文探讨了在密码协议的分析过程中,引入形式化方法的必然性。

关 键 词：密码协议 形式化方法 描述方法 密码学 安全 

分 类 号：TN918.9[电子电信—通信与信息系统]