类BAN逻辑的两个重要缺陷

张萌; 许剑卓; 左英男

首页> 中文期刊> 《计算机工程》 >类BAN逻辑的两个重要缺陷

类BAN逻辑的两个重要缺陷

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

类BAN逻辑通常都分析了BAN逻辑的缺陷并相应地发展了自己的推理法则,在BAN逻辑的缺陷中最受关注的是消息可识别性问题和密钥保密性问题.该文重新对这两个问题进行分析并指出以前类BAN逻辑中对这两个缺陷的理解是错误的,并把这两个缺陷归结为消息不可伪造问题和信任模型问题.同时指出进一步法则类BAN逻辑应解决的问题.

著录项

来源
《计算机工程》 |2000年第7期|133-135|共3页
作者
张萌; 许剑卓; 左英男;
展开▼
作者单位

中国科技大学研究生院信息安全国家重点实验室;

北京 100039;

中国科技大学研究生院信息安全国家重点实验室;

北京 100039;

中国科技大学研究生院信息安全国家重点实验室;

北京 100039;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
密码协议; BAN逻辑; 缺陷;

相似文献

中文文献
外文文献
专利

1. 一种新的类BAN逻辑模态语义模型--兼论类BAN逻辑的语法缺陷 [J] . 谢鸿波 ,周明天 . 计算机科学 . 2006,第001期
2. 类BAN逻辑缺陷的进一步分析 [J] . 库恒 . 科技信息 . 2012,第018期
3. 类BAN逻辑的缺陷分析 [J] . 刘庆华 ,刘云朋 . 焦作大学学报 . 2009,第003期
4. BAN逻辑在一类中间入侵攻击协议分析中的缺陷 [J] . 杨世平 ,李祥 . 计算机应用研究 . 2007,第003期
5. 类BAN逻辑基本模型及缺陷 [J] . 许剑卓 ,戴英侠 ,左英男 . 软件学报 . 2000,第012期
6. 疱疹病毒性脑炎人类遗传免疫缺陷机制研究:Toll样受体3诱导性免疫反应的重要作用 [C] . 张申英 ,张欣欣 . 全国第九次感染病学学术会议 . 2006
7. 用两个重要方法处理一类奇摄动问题 [A] . 葛红霞 . 2002

类BAN逻辑的两个重要缺陷

摘要

著录项

相似文献

相关主题

期刊订阅