首页> 中文期刊> 《微电子学与计算机》 >Kerberos协议的形式化分析

Kerberos协议的形式化分析

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

认证协议是网络环境中一类重要的安全协议,对协议进行形式化分析是保障其安全性的主要手段。文章以BAN逻辑为工具,分析了网络中常用的Kerberos认证协议。结果表明,Kerberos协议达到了预期的认证目标。

著录项

来源
《微电子学与计算机》 |2006年第6期|49-51|共4页
作者
陈灿; 李俊;
展开▼
作者单位

中国科学院计算机网络信息中心;

中国科学院研究生院;

北京100039;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.04;TP393.08;
关键词
安全协议; BAN逻辑; Kerberos协议;

相似文献

中文文献
外文文献
专利

1. 基于物理不可克隆函数的Kerberos扩展协议及其形式化分析 [J] . 张正 ,查达仁 ,柳亚男 . 信息网络安全 . 2020,第012期
2. 一种基于一次性口令的增强Kerberos协议方法及其形式化分析 [J] . 马利民 ,张伟 ,宋莹 . 信息网络安全 . 2019,第010期
3. 基于NPLAB的Kerberos V5协议的形式化分析 [J] . 李兆斌 ,刘倩 ,夏潇 . 北京电子科技学院学报 . 2015,第002期
4. Kerberos 5协议的形式化分析综述 [J] . 赵倩倩 ,李舟军 ,周倜 . 计算机科学 . 2009,第005期
5. 基于环境敏感互模拟的Kerberos协议形式化分析 [J] . 武智广 ,吕银华 ,翁惠玉 . 计算机仿真 . 2007,第002期
6. 一个改进的Kerberos鉴别协议的设计与分析 [C] . 龙士工 ,熊文灿 ,郭春华 . 第八届中国密码学学术会议 . 2004
7. Windows系统下Kerberos身份认证协议的安全分析 [A] . 王震宇 . 2017

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号