56、安全LTL规范的无感知在线监控技术解析

安全LTL规范的无感知在线监控技术解析

1. 相关工作对比

在DFA执行中保障客户端隐私方面，不同工作有着各自的特点。以下是相关工作的对比表格：
| 工作 | [37] | [20] | [9] | [35] | [31] | [22] | [25] | [13] | [1] | 本文方法 |
| — | — | — | — | — | — | — | — | — | — | — |
| 支持在线监控 | ✗ | ✗ | ✗ | ✗ | ✗ | ✗ | ✗ | ✗ | ✓ | ✓ |
| 保护客户端监控数据隐私 | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
| 除状态数量外保护DFA隐私 | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✗ | ✓ |
| 保护DFA状态数量隐私 | ✗ | ✗ | ✗ | ✗ | ✗ | ✗ | ✓ | ✓ | ✗ | ✓ |
| 有性能报告 | ✗ | ✓ | ✗ | ✓ | ✓ | ✗ | ✗ | ✗ | ✗ | ✓ |

从表格中可以看出，基于同态加密的算法大多局限于离线DFA执行，无法实现在线监控。一些工作虽然在部分隐私保护方面表现良好，但在在线监控和DFA完整隐私保护上存在不足。

2. 预备知识

2.1 符号表示

• 用 $\mathbb{N}$ 表示所有非负整数的集合，$\mathbb{N}^+$ 表示所有正整数的集合，$\mathbb{B}$ 表示集合 ${0, 1}$。
• 对于集合 $X$，$2^X$ 表示 $X$ 的幂集，$X