基于前推的密码协议形式化分析方法

闫靖晨 高宏彪 程京德

首页> 中文期刊> 《信息安全研究》 >基于前推的密码协议形式化分析方法

基于前推的密码协议形式化分析方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

在高度信息化社会,各种安全的密码协议是保证网络空间中众多应用所必须的安全性以及公平性的必要技术手段.由于密码协议的安全漏洞会给网络空间应用带来严重的安全问题,甚至造成不可估量的损失,因此密码协议的安全性分析成为重要课题.目前,作为基于证明的形式化分析方法,定理证明方法和模型检测方法被广泛用于密码协议形式化分析.这些方法是通过预先列举出安全性目标,然后证明和检测密码协议是否满足这些目标,进而证实密码协议是否隐含有安全漏洞.基于证明的密码协议形式化分析方法在原理上的缺点是,如果预先列举的安全性目标有遗漏,那么有些安全漏洞则不可能被发现.基于前推的密码协议形式化分析方法不需要预先列举安全性目标,而是通过对参与者和攻击者的行为来进行基于逻辑系统的前推,推测针对密码协议所有可能出现的攻击来发现安全漏洞,从而保证密码协议的安全性.介绍了一种具体方法,根据各种密码协议的特点对密码协议和攻击者行为进行形式化,用形式化的结果来进行基于逻辑系统的前推,并通过分析推导出的逻辑公式找到所有成功的攻击,进而发现密码协议的安全漏洞.

著录项

来源
《信息安全研究》 |2017年第5期|P.462-468|共7页
作者
闫靖晨高宏彪程京德;
展开▼
作者单位

埼玉大学信息与计算机科学系,日本埼玉市338-8570;

展开▼
原文格式 PDF
正文语种 CHI
中图分类形式语言理论;
关键词
密码协议; 形式化分析; 定理证明; 模型检测; 前推;

相似文献

中文文献
外文文献
专利

1. 基于前推的密码协议形式化分析方法 [J] . 闫靖晨 ,高宏彪 ,程京德 . 信息安全研究 . 2017,第005期
2. 基于公钥的密码协议的形式化分析方法 [J] . 王亮 . 科技资讯 . 2009,第024期
3. 密码协议形式化分析方法研究 [J] . 王汝传 . 信息网络安全 . 2005,第007期
4. 公钥密码体制下认证协议的形式化分析方法研究 [J] . 钱勇 ,谷大武 ,陈克非 . 小型微型计算机系统 . 2002,第002期
5. 基于Petri网的密码协议形式化建模 [J] . 白云莉 ,叶新铭 . 计算机科学 . 2012,第008期
6. 基于串空间模型的安全协议形式化分析方法研究 [C] . 解云峰 ,李之棠 ,石曙东 . 全国网络与信息安全技术研讨会'2004 . 2004
7. 关于密码协议的形式化分析方法的研究 [A] . 李晨 . 2010

基于前推的密码协议形式化分析方法

摘要

著录项

相似文献

相关主题

期刊订阅