关于密码协议的形式化分析

摘要：

通过对大量的密码协议的研究发现，对于密码协议的分析需要有序化，形式化，本文提出一种形式化的分析方法对密码协议进行分析，以使得被此方法证明安全的协议对大多数的典型攻击免疫.

关键词： 密码协议 形式化方法 信息隐藏

作者: 李晨 许春香

作者单位: 电子科技大学计算机科学与工程学院，四川 成都 611731

会议类型: 国内会议

会议名称: 第九届全国信息隐藏暨多媒体信息安全学术大会CIHW2010

会议地点: 成都

会议语种:中文

页码: 250-258

在线出版日期: 2010-09-01（万方平台首次上网日期，不代表论文的发表时间）