首页> 中文期刊> 《电脑编程技巧与维护》 >基于串空间理论的kerberos协议的安全性分析

基于串空间理论的kerberos协议的安全性分析

AI论文写作 >>

开具论文收录证明 >>

页面导航

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

摘要

运用串空间这一前沿的安全协议形式化分析方法,对kerberos协议的安全性进行了分析,得出了协议满足认证性和机密性的结论,并给出了一种新的kerberos协议的形式化证明方法,扩展了串空间理论在实用协议分析方面的应用.

著录项

来源
《电脑编程技巧与维护》 |2010年第4期|110,113|共2页
作者
杨杰;
展开▼
作者单位

湖南科技学院,永州425100;

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

相似文献

中文文献
外文文献
专利

1. 基于串空间理论的Kerberos协议安全性分析 [J] . 王威 ,胡铭曾 ,张兆心 . 高技术通讯 . 2008,第009期
2. 基于串空间理论的Kerberos协议分析 [J] . 魏浩 ,解争龙 ,弋改珍 . 计算机技术与发展 . 2013,第012期
3. 基于串空间的移动自组网路由协议安全性分析 [J] . 王英龙 ,王继志 ,王美琴 . 计算机工程与应用 . 2005,第031期
4. Kerberos协议的安全性分析与改进研究 [J] . 胡建伟 ,王震宇 ,崔艳鹏 . 军民两用技术与产品 . 2018,第004期
5. Kerberos协议安全性分析 [J] . 杨晓婕 . 计算机安全 . 2013,第006期
6. 基于串空间的Ad hoc路由协议安全性分析新方法 [C] . 桂荆京 ,张毓森 . 第三届中国计算机网络与信息安全学术会议（CCNIS2010） . 2010
7. 基于模型检测和模态逻辑的Kerberos协议安全性分析 [A] . 马成林 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号