搜索页_类BAN逻辑

中图分类法(15)

工业技术(15)

在“CNKI学位论文”中，命中：15条，耗时：小于0.01 秒

1.认证协议的分析设计

作者：田建波

关键词：认证协议 ; BAN逻辑 ; 移动通信 ; 计算机网络 ; 安全性 ; 匿名

论文级别：博士

学位年度：1998

2.AKA协议分析建模与防御策略研究

作者：李海涛

关键词：3G ; AKA协议 ; 形式化分析 ; AKA协议状态机 ; 攻击模型 ; 防御方案 ; 形式化证明

论文级别：博士

学位年度：2010

3.基于逻辑的电子商务协议属性的分析与研究

作者：边培泉

关键词：BAN逻辑 ; 协议分析 ; 属性 ; 形式化逻辑语言 ; 原子 ; 安全 ; 隐私 ; 电子商务

论文级别：硕士

学位年度：2004

4.安全协议形式化分析方法的关键技术研究

作者：谢鸿波

关键词：安全协议 ; 形式化分析 ; 类BAN逻辑 ; 符号迹方法 ; 有向图

论文级别：博士

学位年度：2011

5.面向对象的广义空间逻辑运算模型与推理研究

作者：毛明毅

关键词：面向对象 ; 广义空间 ; 空间逻辑 ; 泛逻辑 ; 广义相关性 ; 运算模型 ; 命题对象 ; 升空变换 ; 落影变换 ; 推理规则 ; 广义神经元 ; 分形图像

论文级别：博士

学位年度：2006

6.安全协议形式化验证技术的研究与实现

作者：李梦君

关键词：安全协议 ; 安全性质 ; 形式化验证 ; 反例构造 ; Horn逻辑 ; ACUN理论 ; 合一化算法 ; XOR安全协议

论文级别：博士

学位年度：2005

7.通信安全认证与保密协议相关问题研究

作者：袁丁

关键词：信息安全 ; 身份认证 ; 数字签名 ; 反拒认技术 ; 通信保密

论文级别：博士

学位年度：2002

8.形式化逻辑方法在分析认证协议以及电子商务协议中的应用

作者：何加亮

关键词：认证协议 ; 电子商务协议 ; 逻辑方法 ; BAN逻辑 ; 公平性

论文级别：硕士

学位年度：2004

9.网络安全协议的形式化描述与验证

作者：代新敏

关键词：电子商务协议 ; 认证协议 ; 形式化分析

论文级别：硕士

学位年度：2004

10.基于串空间的网络安全协议形式化分析模型与工具研究

作者：李玉平

关键词：网络安全协议 ; 形式化分析 ; 串空间模型 ; 软约束

论文级别：硕士

学位年度：2007

1

2

按检索点细分(15)

目录(5)

关键词(1)

摘要(3)

引文(10)

按论文级别细分(15)

博士(6)

硕士(9)

按学位年度细分(15)

1998年及以前(1)

2002年(1)

2003年(1)

2004年(3)

2005年(1)

2006年(2)

2007年(3)

2009年(1)

2010年(1)

2011年(1)