基于主体关联度的安全协议形式化分析方法

余磊; 魏仕民; 江明明

首页> 中文期刊> 《信息网络安全》 >基于主体关联度的安全协议形式化分析方法

基于主体关联度的安全协议形式化分析方法

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

建立在协议主体参数新近一致性上的主体关联度由于能够正确反映协议安全属性与协议结构、消息组件和消息参数的逻辑关系,因此不仅能够为安全协议的正确性分析提供准确严谨的形式化判断依据,还能进一步降低协议分析的复杂度.为此,文章提出一种基于主体关联度的安全协议形式化分析方法.该方法首先在认证测试模型上,通过对消息组件的参数分类,给出协议主体关联度的量化定义;再根据认证测试规则和测试组件上的参数一致性判定条件,建立协议关联性、认证性、协商数据一致性与协议主体关联度的逻辑关联;接着在协议主体关联度上实现对安全协议设计目标的正确性分析.文章运用该方法对Neuman-Stubblebine协议进行分析,准确发现了协议中潜在的隐患及其根源,并证实了协议主体关联度在安全协议正确性分析中的应用可行性和有效性.

著录项

来源
《信息网络安全》 |2018年第6期|45-51|共7页
作者
余磊; 魏仕民; 江明明;
展开▼
作者单位

淮北师范大学计算机科学与技术学院;

安徽淮北235000;

淮北师范大学计算机科学与技术学院;

安徽淮北235000;

淮北师范大学计算机科学与技术学院;

安徽淮北235000;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
安全协议; 认证测试; 关联度; 形式化分析;

相似文献

中文文献
外文文献
专利

1. 基于CPN的安全协议形式化建模及安全分析方法 [J] . 龚翔 ,冯涛 ,杜谨泽 . 通信学报 . 2021,第009期
2. 基于SAT的安全协议惰性形式化分析方法 [J] . 顾纯祥 ,王焕孝 ,郑永辉 . 通信学报 . 2014,第011期
3. 一种理性安全协议形式化分析方法及应用 [J] . 刘海 ,彭长根 ,任祉静 . 贵州大学学报（自然科学版） . 2014,第006期
4. 无线网络安全协议的形式化分析方法 [J] . 金磊 . 计算机光盘软件与应用 . 2014,第017期
5. 一种含时间因素的安全协议形式化分析方法 [J] . 范玉涛 ,苏桂平 . 计算机应用与软件 . 2013,第001期
6. 一种增强电子商务协议安全性的形式化分析方法 [C] . 杨捷 ,毋国庆 ,左保河 . 2009年全国理论计算机科学学术年会 . 2009
7. 基于PCL的安全协议匿名性形式化分析方法的研究 [A] . 韩世宁 . 2014

基于主体关联度的安全协议形式化分析方法

摘要

著录项

相似文献

相关主题

期刊订阅