maude-hcs

Maude-HCS Maude-HCS 是最早的通用模块化工具链之一，用于在现实规模的隐藏通信系统（HCS）中进行形式化规约与推理。它使网络设计者能够快速有效地探索不同的 HCS 设计，并提供设计信任所需的正式隐私-性能保证。 引言 隐藏通信系统（HCS）将秘密消息嵌入正常的网络活动中，以隐藏通信的存在。在实践中，HCS 的不可检测性通常通过特定的流量统计或专用检测器进行评估，这使得安全性声明与实验设置和隐含的对手假设紧密耦合。 Maude-HCS 是一个可执行的建模与分析框架，为推理复杂 HCS...