动态加密控制的可验证计算

摘要

本文提出了一种针对线性动态加密控制的新型验证算法，利用控制器的系统理论输入输出特性，通过并行处理人工挑战信号来检查云端计算结果的正确性。该方法几乎不增加计算负载，能以高概率发现错误计算，并防止重放攻击。