30、自动化信任协商策略的内存复杂度分析

自动化信任协商策略的内存复杂度分析

在自动化信任协商（ATN）中，不同的协商策略有着不同的内存复杂度，这对于策略的选择和应用至关重要。本文将详细介绍几种常见的ATN策略，并分析它们的内存复杂度，同时通过模拟实验评估内存消耗情况。

1. 几种常见策略概述

• PRUNES策略
  • 概述 ：PRUNES策略是对完全暴力回溯协商策略的改进。它具有完整性，在协商失败时不披露任何凭证，协商成功时不披露无关凭证。最坏情况下，通信复杂度为$O(n^2)$，计算复杂度为$O(nm)$，其中$n$是凭证数量，$m$是析取范式中凭证披露策略的大小。
  • 暴力回溯策略流程 ：
    1. 从服务$S$的请求开始。
    2. 当实体收到凭证$C$的请求时：
       • 若$C$是无保护凭证，立即告知对方可以披露，但暂不披露。
       • 若$C$不存在，向对方发送拒绝消息。
       • 否则，假设$C$的访问控制策略用析取范式表示为$C \leftarrow D_1 \vee \cdots D_l$，其中$D_i = S_{i1} \vee \cdots S_{ik_i}$，每个$S_{ij}$是对方要披露的凭证。实体从$S_{11}$开始尝试解决$C$策略的第一个析取项$D_1$。
         • 若$S_{1i}$已被授予，移动到$S_{1(i + 1)}$。