基于细粒度新鲜性的密码协议分析(详细摘要)

摘要：

文章从新鲜性定义、秘密性定义两方面对基于细粒度新鲜性的密码协议进行了基本定义，阐述了其一些其他的基本符号表示，分析了初始假设和安全目标。根据新鲜性和秘密性的定义，对两方协议建立了一些基本规则，分析协议时通过对每条消息逐步应用规则推导，最终得到各方的信任集合，再与安全目标对比分析.这些规则包括新鲜性规则、秘密性规则、署名消息规则、确定消息来源规则、确定消息的目标规则等。

关键词： 密码协议 新鲜性规则 秘密性规则 信任集合 安全目标

作者: 程正杰 陈克非 来学嘉

作者单位: 上海交通大学 计算机科学与工程系 上海 200240

会议类型: 国内会议

会议名称: 中国密码学会2010年会

会议地点: 北京

会议语种:中文

页码: 162-167

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