密码协议分析的信任多集方法

• 作者: 来学嘉 董玲 陈克非
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 密码协议 安全性分析 形式化方法 自动化
• 年，卷（期）: 2009,（11）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 3060-3076
• 页数: 17页
• 分类号: TP309
• 字数: 20030字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2009.03392

摘要

提出了一种基于逻辑的信任多集方法,它与已有的密码协议安全性分析方法本质上不同:每个参与主体建立的新信任只应依赖于该主体已拥有的信任和接收或发送的包含了信任的新鲜性标识符的消息本身.在基于匹配对话和不可区分性的计算模型下,证明了给出的保证密码协议单方认证安全、双方认证安全、单方密钥安全和双方密钥安全的充分必要条件分别满足4个可证安全定义.实例研究和对比分析表明,信任多集方法有以下特点:首先,安全性分析结果要么证明了一个密码协议是安全的,要么指出了密码协议安全属性的缺失,由安全属性的缺失能够直接导出构造攻击的结构;其次,分析方法与密码协议和攻击者能力的具体形式化描述无关;最后,不仅可用于手工分析,而且便于开发出自动验证系统.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈克非	上海交通大学计算机科学与工程系	122	1257	21.0	29.0
2	来学嘉	上海交通大学计算机科学与工程系	27	145	7.0	11.0
3	董玲	上海交通大学计算机科学与工程系	3	13	3.0	3.0