【安全性分析】正式安全分析与非正式安全分析

安全性分析-系列文章目录

第一章 【安全性分析】正式安全分析与非正式安全分析
第二章 【安全性分析】BAN逻辑 (BAN Logic)

前言

为实现网络的安全目标，通常需要提出相关认证密钥协议（Authentication and Key Agreement Protocol, AKA）对网络通信进行保护。若设计的协议中出现安全漏洞，将导致网络容易收到安全攻击。所以我们需要对提出的协议进行安全性分析。安全性分析分为两种：正式安全分析，非正式安全分析。

一、正式安全分析

1. 理想化模型（如随机预言机模型）

内容： 假设存在一种理想的“随机预言机”，能够提供理想的随机性，用于安全性分析和证明。
例子： 在使用哈希函数的协议中，分析师可以假设该哈希函数是随机预言机，从而简化安全性分析。

2. 标准模型（Standard Model）

内容：