BAN逻辑概要

需要以下步骤：
（1）从原始协议中派生出理想化的协议；
（2）生成关于初始状态的假设；
（3）将逻辑公式附加到协议的陈述中，如断言每个陈述后系统的状态；
（4）将逻辑公式应用于假设和断言中来发现协议中每个主体所持有的信念。

GNY逻辑概要

不需要派生出理想化的协议，只需将消息简单的变换就可以得到在逻辑中适合直接操作的形式。

主要区别

（1）GNY中加入了posses，可以poss但不一定believe，而BAN中只能believe；
（2）GNY中加入了recognizability。可以识别一些特定的值，例如他自己的id；特定结构，例如时间戳；或者是一种特定的冗余形式；
（3）GNY中提出了“not originated here”。此公式允许我们确定收件人是否接收到已嵌入每个消息的唯一标识符发送的消息；
（4）GNY逻辑同等对待明文信息和密文信息，因为他们对于结论都有用，然而BAN中认为明文信息没有用；
（5）GNY逻辑不限于身份认证协议，这可以通过逻辑假设的可用性来体现，使我们能够从单向函数中得出结论，因此，它可以应用于分析一些利用单向函数的加密协议。

参考文献

安全协议形式化验证方法和安全协议设计研究

BAN和GNY逻辑的区别相关推荐

oracle逻辑备份和物理备份,oracle数据库物理备份和逻辑备份区别
oracle数据库物理备份和逻辑备份区别 ORACLE中数据备份分为物理备份和逻辑备份两种.物理备份就是转储ORACLE物理文件(如数据文件.控制文件.归档日志文件等),一旦数据库发生故障,可以利用这 ...
物理服务器备份系统,物理备份和逻辑备份区别
物理备份和逻辑备份区别内容精选换一换可能这份面试题还不足以包含所有Java问题,但有了它,我相信你一定不会"败"的很惨,有了它,足以应对目前市面上绝大部分的Java面试了,因 ...
朴素贝叶斯与逻辑回归区别
朴素贝叶斯与逻辑回归有什么异同 1.上述链接大佬详细的介绍了朴素贝叶斯.逻辑回归的由来. 2.在B站李宏毅老师机器学习课中第4讲Classification中提到了从贝叶斯公式推导出逻辑函数的激活函数 ...
python 线性回归与逻辑回归区别（有监督学习【分类、回归】、无监督学习【聚类、强化学习】、损失函数、梯度下降、学习率、过拟合、欠拟合、正则化）
引用文章1 https://blog.csdn.net/viewcode/article/details/8794401 引用文章2:一.线性回归和逻辑回归一.什么是机器学习利用大量的数据样本,使 ...
WPF 视觉树和逻辑树区别，以及其子节点的遍历过程。
一.定义上区分 1.添加元素的分类,称为逻辑树.解析:用window或者是application向下定位到组成界面的基本控件元素,就是逻辑树. 2.视觉树是逻辑树的拓展版本.解析:把逻辑树上的控件元素 ...
算术右移和逻辑右移区别
**一.对于有符号数 int 正数,左移直接丢弃最高位,在低位补对应个数的0: 正数,右移直接丢弃最低位,在高位补对应个数的0: 负数,左移直接丢弃最高位,在低位补对应个数的0: 负数,右移直接丢弃最 ...
硬盘主分区和逻辑分区区别
百度百科逻辑分区逻辑分区是硬盘上一块连续的区域,不同之处在于,每个主分区只能分成一个驱动器,每个主分区都有各自独立的引导块,可以用fdisk设定为启动区.一个硬盘上最多可以有3个主分区,而 ...
【Unity步步升】各类旋转逻辑的区别，如欧拉旋转、插值旋转、矢量朝向等...及游戏视角案例
在 Unity 中为物体旋转提供了各种 API ,例如 Rotate.RotateAround.LookAt 等方法.但为了避免万向节死锁的问题,一般使用四元数来表示物体的旋转. 而接下来的旋转方法我 ...
组合逻辑和时序逻辑的区别与联系
根据逻辑电路的不同特点,数字电路可以分为:组合逻辑和时序逻辑组合逻辑组合逻辑的特点是任意时刻的输出仅仅取决于该时刻的输入,与电路原本的状态无关,逻辑中不牵涉跳变沿信号的处理,组合逻辑的verilo ...

BAN和GNY逻辑的区别

BAN逻辑概要

GNY逻辑概要

主要区别

参考文献

BAN和GNY逻辑的区别相关推荐

最新文章

热门文章