首页> 中文期刊> 《计算机工程与应用》 >Kerberos协议安全性的符号模型检验分析

Kerberos协议安全性的符号模型检验分析

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

基于模型检验的安全协议分析和验证是协议工程研究的一个新方向.该文建立了Kerberos协议的有限状态机模型,并用符号模型检验器(SMV)从安全属性的两个方面--认证性和保密性分析了Kerberos协议,指出了Kerberos协议的缺陷.

著录项

来源
《计算机工程与应用》 |2003年第29期|177-180|共4页
作者
郭云川; 古天龙; 董荣胜; 李凤英;
展开▼
作者单位

桂林电子工业学院计算机系;

桂林;

541004;

桂林电子工业学院计算机系;

桂林;

541004;

桂林电子工业学院计算机系;

桂林;

541004;

桂林电子工业学院计算机系;

桂林;

541004;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.04;TP393.08;
关键词
符号模型验证; 安全性; 重放攻击;

相似文献

中文文献
外文文献
专利

1. 基于符号模型自动分析隐私保留的用户认证协议安全性 [J] . 孟博 ,唐获野 ,陈双 . 中南民族大学学报（自然科学版） . 2019,第001期
2. 基于符号模型的Mynah协议安全性自动化分析 [J] . 李镜 . 软件导刊 . 2017,第005期
3. 基于符号模型的Mynah协议安全性自动化分析 [J] . 李镜 . 软件导刊 . 2017,第005期
4. CMP1协议的符号模型检验分析 [J] . 张梅 ,文静华 ,杨滋荣 . 海军工程大学学报 . 2005,第003期
5. ISI协议的符号模型检验分析 [J] . 文静华 ,张梅 ,李祥 . 电讯技术 . 2005,第006期
6. 基于模型检验和符号演算的Java测试用例自动生成方法的研究与实现 [C] . 邓小琴 ,刘超 . 中国计算机学会全国软件与应用学术会议（NASAC2009） . 2009
7. 基于模型检测和模态逻辑的Kerberos协议安全性分析 [A] . 马成林 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号