首页> 中文期刊>小型微型计算机系统 >认证协议的有向图模型及其安全性分析

认证协议的有向图模型及其安全性分析

开具论文收录证明 >>

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

页面导航

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

摘要

认证协议的形式化描述及其安全性分析是安全协议形式化分析的关键问题之一.为了解决以往分析方法中协议规范形式化描述存在的问题,提出了一种协议规范有向图描述方法,并在此基础上提出了协议消息构造的逆向搜索算法.用该算法分析Woo-Lam认证协议,找到了该协议一种新的攻击方法及其攻击路径.

著录项

来源
《小型微型计算机系统》|2008年第4期|622-626|共5页
作者
谢鸿波; 吴远成; 周明天;
展开▼
作者单位

电子科技大学,计算机科学与工程学院,四川,成都,610054;

重庆通信学院,三系,数据链教研室,重庆,400035;

电子科技大学,计算机科学与工程学院,四川,成都,610054;

电子科技大学,计算机科学与工程学院,四川,成都,610054;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
认证协议; 协议形式化分析; 有向图;
入库时间 2022-08-18 05:58:13

相似文献

中文文献
外文文献
专利

1. 802.1X认证协议安全性分析及改进 [J] . 疏志年 ,李小荣 . 福建电脑 . 2020,第006期
2. 基于事件逻辑的WMN客户端与LTCA认证协议安全性分析 [J] . 肖美华 ,李娅楠 ,宋佳雯 . 计算机研究与发展 . 2019,第006期
3. 社交网络下智能手机轻型安全认证协议的BAN逻辑安全性分析 [J] . 林荣智 ,苗耀锋 . 电子设计工程 . 2018,第016期
4. 对两个无线传感器网络中匿名身份认证协议的安全性分析 [J] . 薛锋 ,汪定 ,曹品军 . 计算机应用 . 2015,第012期
5. RFID分布式密钥阵列认证协议的安全性分析 [J] . 刘彦龙 ,白煜 ,滕建辅 . 计算机工程与应用 . 2014,第016期
6. 对SIP认证协议的安全性分析与改进 [C] . QIN Wen-xian ,秦文仙 ,WANG Qiong-xiao . 第28次全国计算机安全学术交流会 . 2013
7. 改进的可扩展认证协议安全性分析与证明技术研究 [A] . 介银娟 . 2020

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号