首页> 中文期刊>计算机应用研究 >认证协议的形式逻辑分析方法——BAN类逻辑综述

认证协议的形式逻辑分析方法——BAN类逻辑综述

开具论文收录证明 >>

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

页面导航

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

摘要

介绍了最早的认证协议形式化分析方法--BAN逻辑及扩展的BAN逻辑,统称为BAN类逻辑.并通过分析比较,指出了各种扩展的BAN逻辑对原BAN逻辑的扩展和改进之处.

著录项

来源
《计算机应用研究》|2002年第9期|17-20|共4页
作者
束妮娜; 王亚弟;
展开▼
作者单位

中国人民解放军信息工程大学,电子技术学院,河南,郑州,450004;

中国人民解放军信息工程大学,电子技术学院,河南,郑州,450004;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP363;
关键词
认证协议; BAN逻辑; 扩展的BAN逻辑;
入库时间 2023-07-24 18:55:22

相似文献

中文文献
外文文献
专利

1. 一种新的类BAN逻辑模态语义模型--兼论类BAN逻辑的语法缺陷 [J] . 谢鸿波 ,周明天 . 计算机科学 . 2006,第001期
2. BAN逻辑及BAN类逻辑研究 [J] . 苌进 . 河南科技 . 2010,第005期
3. 社交网络下智能手机轻型安全认证协议的BAN逻辑安全性分析 [J] . 林荣智 ,苗耀锋 . 电子设计工程 . 2018,第016期
4. 基于矩阵理论的RFID认证协议设计及BAN逻辑分析 [J] . 李红静 ,刘丹 . 计算机应用 . 2013,第007期
5. 基于BAN逻辑的SIP网络认证协议安全性研究 [J] . 张兆心 ,杜跃进 ,方滨兴 . 高技术通讯 . 2010,第011期
6. 基于BAN逻辑的SIP网络中认证协议安全性分析 [C] . 张兆心 ,方滨兴 ,张宏莉 . 2006北京地区高校研究生学术交流会 . 2006
7. 形式逻辑在医学类综述翻译中的应用——以Neurobehavioral Aspects of Posttraumatic Stress Disorder汉译为例 [A] . 朱文娟 . 2018

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号