首页> 中文期刊> 《计算机安全》 >Kerberos协议安全性分析

Kerberos协议安全性分析

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

串空间是一种基于定理证明的,新兴的安全协议形式化分析模型.认证协议使用密码技术实现网络环境下的身份认证和信息保密.建立了Kerberos协议的串空间模型,并进行了安全性分析,证实了Kerberos协议是安全的.此外还说明了Kerberos协议存在的不安全因素及努力的方向.

著录项

来源
《计算机安全》 |2013年第6期|17-21|共5页
作者
杨晓婕;
展开▼
作者单位

云南省大理高级技工学校,云南大理671000;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词
串空间; Kerberos协议; 形式化方法;

相似文献

中文文献
外文文献
专利

1. Kerberos协议的安全性分析与改进研究 [J] . 胡建伟 ,王震宇 ,崔艳鹏 . 军民两用技术与产品 . 2018,第004期
2. 基于串空间理论的kerberos协议的安全性分析 [J] . 杨杰 . 电脑编程技巧与维护 . 2010,第004期
3. Kerberos协议简介及安全性分析 [J] . 巨瑜芳 . 科技传播 . 2010,第016期
4. 基于串空间理论的Kerberos协议安全性分析 [J] . 王威 ,胡铭曾 ,张兆心 . 高技术通讯 . 2008,第009期
5. 基于Kerberos协议的云数据传输过程中安全方案研究 [J] . 徐希炜 ,李能能 ,李丹阳 . 电脑知识与技术 . 2019,第013期
6. Kerberos协议的改进研究 [C] . 徐斌 ,裘懿勇 ,金敏捷 . 2017年数字化造船学术交流会议 . 2017
7. 基于模型检测和模态逻辑的Kerberos协议安全性分析 [A] . 马成林 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号