首页> 中文期刊> 《计算机工程》 >LMDS系统安全认证协议的形式分析与改进

LMDS系统安全认证协议的形式分析与改进

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

利用形式化分析密码协议的方法来检测密码协议中潜在的安全漏洞,已成为密码学中一个新的研究方向.文章用BAN逻辑形式分析方法,对基于802.16的LMDS系统的安全认证协议进行了分析,针对协议中存在的不足提出了更为安全、合理的解决方案.

著录项

来源
《计算机工程》 |2003年第22期|48-50|共3页
作者
刘文杰; 傅海阳; 吴蒙;
展开▼
作者单位

南京邮电学院通信工程系;

南京;

210003;

南京邮电学院通信工程系;

南京;

210003;

南京邮电学院通信工程系;

南京;

210003;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
形式化分析; BAN逻辑; 认证协议; LMDS系统;

相似文献

中文文献
外文文献
专利

1. RFID超轻量级认证协议RCIA形式化分析与改进 [J] . 钟小妹 ,肖美华 ,李伟 . 计算机工程与科学 . 2018,第012期
2. 基于形式方法的Andrew RPC认证协议的分析与改进 [J] . 白汉利 ,蔡红柳 ,郑广 . 计算机工程与设计 . 2005,第007期
3. 对一个多服务器环境下三因子认证协议的分析与改进 [J] . 舒琴 ,王圣宝 ,韩立东 . 杭州师范大学学报（自然科学版） . 2021,第001期
4. 对一个无线传感器网络中的用户认证协议的分析与改进 [J] . 李振宇 ,王圣宝 . 杭州师范大学学报（自然科学版） . 2020,第005期
5. 普适计算中匿名跨域认证协议的分析与改进 [J] . 屈娟 ,李艳平 ,李丽 . 信息网络安全 . 2018,第001期
6. RFID超轻量级认证协议RCIA形式化分析与改进 [C] . ZHONG Xiao-mei ,钟小妹 ,XIAO Mei-hua . 2018年全国理论计算机科学学术年会 . -1
7. 一类基于口令的远程认证协议的分析与改进 [A] . 崔振山 . 2013

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号